NO

   1: F(x1) -> A()
   2: F(x1) -> G(F(x1))
   3: G(F(x1)) -> F(H(x1))
   4: G(F(x1)) -> B()

unjoinable pair
  A() <- -> G(A())