---- CR(R)
---- [Hirokawa and Middeldorp, 2011]
R:
f(x) -> g(k(x))
f(x) -> a()
g(x) -> a()
k(a()) -> k(k(a()))
CPS'(R):
f(___y1076) -> g(k(___y1076))
f(___y1076) -> a()
f(___y1081) -> a()
f(___y1081) -> g(k(___y1081))
CP(R):
g(k(___y1100)) -> a()
a() -> g(k(___y1105))