YES

1 decompositions
 #1 -----------
   1: +(0(),x1) -> x1
   2: +(s(0()),x2) -> s(x2)
   3: s(s(x3)) -> x3

@Knuth and Bendix' criterion
--- R
   1: +(0(),x1) -> x1
   2: +(s(0()),x2) -> s(x2)
   3: s(s(x3)) -> x3

--- S
   1: +(0(),x1) -> x1
   2: +(s(0()),x2) -> s(x2)
   3: s(s(x3)) -> x3