NO

---- Non-confluence check
R:
a(x) -> g(b(x))
a(x) -> c(x)
b(x) -> g(b(x))

Unjoinable conversion:
g(g(g(g(g(b(___y3())))))) <->*
c(___y3())