---- Non-confluence check
R:
F(x) -> A()
F(x) -> G(F(x))
G(F(x)) -> F(H(x))
G(F(x)) -> B()

Unjoinable conversion:
G(G(G(B()))) <->* G(G(G(G(A()))))