NO

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

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