---- CR(R cup S)
---- [Klein and Hirokawa, 2012]
R:
b(w(x)) -> w(w(w(b(x))))
w(b(x)) -> b(x)
b(b(x)) -> w(w(w(w(x))))
w(w(x)) -> w(x)
S:

CP_S(R):
w(w(w(w(b(___y19691))))) -> b(w(___y19691))
b(w(w(w(b(___y19693))))) -> w(w(w(w(w(___y19693)))))
b(b(___y19697)) -> w(w(w(b(b(___y19697)))))
w(b(___y19703)) -> w(b(___y19703))
w(w(w(w(w(___y19707))))) -> b(b(___y19707))
b(w(w(w(w(___y19709))))) -> w(w(w(w(b(___y19709)))))
b(w(___y19713)) -> w(w(w(b(w(___y19713)))))
w(w(___y19719)) -> w(w(___y19719))
CR(S):
see below.

---- CR(R)
---- [Hirokawa and Middeldorp, 2011]
R:

CPS'(R):

CP(R):