0.00/0.27	YES
0.00/0.27	
0.00/0.27	---- CR(R cup S)
0.00/0.27	---- [Klein and Hirokawa, 2012]
0.00/0.27	R:
0.00/0.27	f(x,g(x)) -> g(f(x,x))
0.00/0.27	S:
0.00/0.27	a(x) -> x
0.00/0.27	h(x) -> h(a(h(x)))
0.00/0.27	CP_S(R):
0.00/0.27	
0.00/0.27	CR(S):
0.00/0.27	see below.
0.00/0.27	
0.00/0.27	---- CR(R)
0.00/0.27	---- [Hirokawa and Middeldorp, 2013]
0.00/0.27	R:
0.00/0.27	a(x) -> x
0.00/0.27	h(x) -> h(a(h(x)))
0.00/0.27	non-closed-CPS(R):
0.00/0.27	
0.00/0.27	NOTE: original TRS is
0.00/0.28	   1: f(x,a(g(x))) -> g(f(x,x))
0.00/0.28	   2: f(x,g(x)) -> g(f(x,x))
0.00/0.28	   3: a(x) -> x
0.00/0.28	   4: h(x) -> h(a(h(x)))
0.00/0.28	
0.00/0.28	EOF