---- Non-confluence check
R:
f(x,x) -> g(x)
f(x,g(x)) -> b()
h(c(),y) -> f(h(y,c()),h(y,y))

Unjoinable conversion:
g(g(g(h(c(),c())))) <->* g(b())