NO

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

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