YES

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