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

CP(R):