NO

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

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

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

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