0.00/0.77	MAYBE
0.00/0.77	
0.00/0.77	Problem:
0.00/0.77	lt(x, 0()) -> false()
0.00/0.77	lt(0(), s(y)) -> true()
0.00/0.77	lt(s(x), s(y)) -> lt(x, y)
0.00/0.77	cons(x, cons(y, ys)) -> cons(y, cons(x, ys)) <= lt(x, y) = true()
0.00/0.77	
0.00/0.77	Proof:
0.00/0.77	ConCon could not decide confluence of the system.
0.00/0.77	\cite{GNG13}, Theorem 9 does not apply.
0.00/0.77	
0.00/0.78	EOF