YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
f(x) -> g(k(x))
f(x) -> a()
g(x) -> a()
k(a()) -> k(k(a()))
CP(R):
g(k(___y3)) -> a()
a() -> g(k(___y8))