NO

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

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