NO

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

unjoinable peak
    f(h(b(),b()))
*<- c() ->*
    b()
NOTE: input TRS is reduced

original is
   1: c() -> f(h(b(),b()))
   2: c() -> b()
   3: b() -> b()
   4: c() -> a()

reduced to
   1: c() -> f(h(b(),b()))
   2: c() -> b()
   4: c() -> a()