NO

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

Unjoinable conversion:
b() <->*
f(a'())