YES

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

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

--- S
   1: c() -> b()
   2: b() -> a()