YES

---- CR(R)
---- R : linear and strongly closed [Huet, 1980]
R:
W(W(x)) -> W(x)
B(I(x)) -> W(x)
W(B(x)) -> B(x)
F(H(x),y) -> F(H(x),G(y))
F(x,I(y)) -> F(G(x),I(y))
G(x) -> x
CP(R):
W(W(___y1)) -> W(W(___y1))
W(W(___y19)) -> B(I(___y19))
W(B(___y29)) -> W(B(___y29))
F(H(___y56),G(I(___y59))) -> F(G(H(___y56)),I(___y59))
F(G(H(___y74)),I(___y73)) -> F(H(___y74),G(I(___y73)))