NO

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

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