YES

---- CR(R)
---- [Hirokawa and Middeldorp, 2013]
R:
from(x) -> :(x,from(s(x)))
sel(0(),:(y,z)) -> y
sel(s(x),:(y,z)) -> sel(x,z)
non-closed-CPS(R):