---- Non-confluence check
R:
f(g(f(x))) -> x
f(g(x)) -> g(f(x))

Unjoinable conversion:
g(g(f(f(f(___y1()))))) <->* g(f(___y1()))