YES

---- CR(R)
---- Hot decreasingness.
R:
W(B(x)) -> W(x)
B(I(x)) -> J(x)
W(I(x)) -> W(J(x))

C:
W(B(x)) -> W(x)
B(I(x)) -> J(x)
W(I(x)) -> W(J(x))

Label: