NO

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

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

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

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