---- CR(R cup S)
---- [Klein and Hirokawa, 2012]
R:
S(x,T(x)) -> T(x)
S:
F(D(x),y) -> F(D(x),G(G(y)))
F(x,E(y)) -> F(G(x),E(y))
G(x) -> x
H(I(x)) -> K(J(x))
J(x) -> K(J(x))
I(x) -> I(J(x))
J(x) -> J(K(J(x)))
CP_S(R):

CR(S):
see below.

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

Label:
[F(D(x),y) -> F(D(x),G(G(y)))] = 1
[F(x,E(y)) -> F(G(x),E(y))] = 0
[G(x) -> x] = 0
[H(I(x)) -> K(J(x))] = 2
[J(x) -> K(J(x))] = 2
[I(x) -> I(J(x))] = 8
[J(x) -> J(K(J(x)))] = 0