YES

---- CR(R)
---- [Hirokawa and Middeldorp, 2013]
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
non-closed-CPS(R):
W(B(I(___y3991))) -> W(W(___y3991))
W(B(I(___y3991))) -> B(I(___y3991))