YES

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

 #2 -----------
   3: -(0(),x4) -> 0()
   4: -(x5,0()) -> x5
   5: -(s(x6),s(x7)) -> -(x6,x7)

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

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


@Knuth and Bendix' criterion
--- R
   3: -(0(),x4) -> 0()
   4: -(x5,0()) -> x5
   5: -(s(x6),s(x7)) -> -(x6,x7)

--- S
   3: -(0(),x4) -> 0()
   4: -(x5,0()) -> x5
   5: -(s(x6),s(x7)) -> -(x6,x7)