NO

1 decompositions
 #1 -----------
   1: a() -> b()
   2: f(a(),b()) -> f(a(),a())
   3: f(b(),a()) -> f(a(),a())
   4: f(a(),a()) -> c()
   5: g(x1) -> f(x1,x1)

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