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

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