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

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