NO

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

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