NO

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

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