NO

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

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