YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
W(B(x)) -> W(x)
B(I(x)) -> J(x)
W(I(x)) -> W(J(x))
CP(R):
W(J(___y7)) -> W(I(___y7))