YES

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

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

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