NO

   1: a(x1) -> g(g(b(x1)))
   2: a(x1) -> g(c(x1))
   3: b(x1) -> g(b(x1))

unjoinable pair
  g(g(b(x2))) <- -> g(c(x2))