YES

---- CR(R)
---- [Hirokawa and Middeldorp, 2013]
R:
p(x) -> q(x)
p(x) -> r(x)
q(x) -> s(p(x))
r(x) -> s(p(x))
s(x) -> f(p(x))
non-closed-CPS(R):