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

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