NO

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

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