NO

2 decompositions
 #1 -----------
   1: f(a()) -> c()

 #2 -----------
   2: b() -> c()
   3: b() -> a()

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