---- Non-confluence check
R:
f(b()) -> a()
f(b()) -> f(c())
f(c()) -> f(b())
f(c()) -> d()
b() -> e()
c() -> e'()
f(e()) -> a()
f(e'()) -> d()

Unjoinable conversion:
d() <->* a()