YES

1 decompositions
 #0 -----------
   1: +(+(x,y),z) -> +(x,+(y,z))
   2: +(x,+(y,z)) -> +(+(x,y),z)

@Strongly Commuting
--- R
   1: +(+(x,y),z) -> +(x,+(y,z))
   2: +(x,+(y,z)) -> +(+(x,y),z)

--- S
   1: +(+(x,y),z) -> +(x,+(y,z))
   2: +(x,+(y,z)) -> +(+(x,y),z)