YES

---- CR(R)
---- [Hirokawa and Middeldorp, 2013]
R:
f(x) -> g(k(x))
f(x) -> a()
g(x) -> a()
k(a()) -> k(k(a()))
non-closed-CPS(R):