NO

1 decompositions
 #1 -----------
   1: F(x1) -> A()
   2: F(x2) -> G(F(x2))
   3: G(F(x3)) -> F(H(x3))
   4: G(F(x4)) -> B()

unjoinable peak
    A()
*<- F(x10) ->*
    G(A())