NO

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

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