0.00/0.72	MAYBE
0.00/0.72	
0.00/0.72	Problem:
0.00/0.73	f(g(x)) -> x <= x = s(0())
0.00/0.73	g(s(x)) -> g(x)
0.00/0.73	
0.00/0.73	Proof:
0.00/0.73	ConCon could not decide confluence of the system.
0.00/0.73	\cite{GNG13}, Theorem 9 does not apply.
0.00/0.73	
0.00/0.73	EOF