NO

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

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