---- CR(R)
---- [van Oostrom, RTA 2008].
R:
I(x) -> I(J(x))
J(x) -> J(K(J(x)))
H(I(x)) -> K(J(x))
J(x) -> K(J(x))

Label:
[I(x) -> I(J(x))] = 1
[J(x) -> J(K(J(x)))] = 1
[H(I(x)) -> K(J(x))] = 0
[J(x) -> K(J(x))] = 0