YES

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

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

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