YES

---- CR(R)
---- Hot decreasingness.
R:
-(+(x(),-(x()))) -> 0()
+(x(),-(x())) -> 0()
0() -> -(0())

C:


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