NO

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

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