YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
f(g(g(x))) -> a()
f(g(h(x))) -> b()
f(h(g(x))) -> b()
f(h(h(x))) -> c()
g(x) -> h(x)
a() -> b()
b() -> c()
CP(R):
f(h(g(___y50))) -> a()
f(g(h(___y49))) -> a()
f(h(h(___y52))) -> b()
f(h(h(___y53))) -> b()