NO

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

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

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

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