YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
p(x) -> q(x)
p(x) -> r(x)
q(x) -> s(p(x))
r(x) -> s(p(x))
s(x) -> f(p(x))
CP(R):
q(___y3) -> r(___y3)
r(___y11) -> q(___y11)