NO

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

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