NO

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

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