YES

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