YES

---- CR(R)
---- [Hirokawa and Middeldorp, 2013]
R:
-(+(x(),-(x()))) -> 0()
+(x(),-(x())) -> 0()
0() -> -(0())
non-closed-CPS(R):
-(+(x(),-(x()))) -> -(0())
-(+(x(),-(x()))) -> 0()