YES

---- CR(R)
---- [Knuth and Bendix, 1970]
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))