NO

1 decompositions
 #0 -----------
   1: c() -> f(h(b(),b()))
   2: c() -> b()
   3: b() -> b()
   4: c() -> a()

unjoinable peak
    f(h(b(),b()))
*<- c() ->*
    a()