YES

1 decompositions
 #0 -----------
   1: -(0(),x) -> 0()
   2: -(x,0()) -> x
   3: -(s(x),s(y)) -> -(x,y)

@Strongly Commuting
--- R
   1: -(0(),x) -> 0()
   2: -(x,0()) -> x
   3: -(s(x),s(y)) -> -(x,y)

--- S
   1: -(0(),x) -> 0()
   2: -(x,0()) -> x
   3: -(s(x),s(y)) -> -(x,y)