---- CR(R cup S)
---- [Klein and Hirokawa, 2012]
R:
f(f(x,y),z) -> f(x,f(y,z))
f(1(),x) -> x
S:

CP_S(R):
f(f(___y105,f(___y106,___y107)),___y110) ->
  f(f(___y105,___y106),f(___y107,___y110))
f(___y115,___y118) -> f(1(),f(___y115,___y118))
CR(S):
see below.

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

CPS'(R):

CP(R):