NO

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

unjoinable peak
    f(a())
*<- f(c()) ->*
    a()