NO

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

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