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

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