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

Unjoinable conversion:
a() <->* f(d(),h(b()))