NO

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

unjoinable peak
    f(a(),f(f(a(),a()),a()))
*<- f(a(),f(a(),f(a(),x1))) ->*
    f(f(a(),a()),a())