YES

---- CR(R)
---- Rule Labeling [van Oostrom, RTA 2008].
R:
-(+(x,y)) -> +(-(x),-(y))
+(x,y) -> +(y,x)

Label:
[-(+(x,y)) -> +(-(x),-(y))] = 0
[+(x,y) -> +(y,x)] = 0