NO

1 decompositions
 #0 -----------
   1: F(x) -> A()
   2: F(x) -> G(F(x))
   3: G(F(x)) -> F(H(x))
   4: G(F(x)) -> B()

unjoinable peak
    A()
*<- F(_y6) ->*
    B()