YES

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

@Knuth and Bendix' criterion
--- R
   2: h(a(),h(f(b()),c())) -> c()

--- S
   2: h(a(),h(f(b()),c())) -> c()


NOTE: input TRS is reduced

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

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