NO

2 decompositions
 #0 -----------
   4: f(b()) -> c()

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

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