NO

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

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