NO

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

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