NO

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

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