0.00/0.93	MAYBE
0.00/0.93	
0.00/0.93	Problem:
0.00/0.93	f(g(x)) -> x <= x = s(0())
0.00/0.93	g(s(x)) -> g(x)
0.00/0.93	
0.00/0.93	Proof:
0.00/0.93	ConCon could not decide confluence of the system.
0.00/0.93	\cite{ALS94}, Theorem 4.1 does not apply.
0.00/0.93	ConCon could not decide whether all 1 critical pairs are joinable or not.
0.00/0.93	CP: f(g(x)) = s(x) <= s(x) = s(0()):
0.00/0.93	ConCon could not decide infeasibility of this critical pair.
0.00/0.93	
2.95/1.27	EOF