0.00/0.46	MAYBE
0.00/0.46	
0.00/0.46	Problem:
0.00/0.46	lte(0(), x) -> true()
0.00/0.46	lte(s(x), 0()) -> false()
0.00/0.46	lte(s(x), s(y)) -> lte(x, y)
0.00/0.46	lte(x, x) -> true()
0.00/0.46	lte(x, s(x)) -> true()
0.00/0.46	lte(x, s(y)) -> true() <= lte(x, y) = true()
0.00/0.46	lte(y, x) -> true() <= lte(x, y) = false()
0.00/0.46	lte(x, z) -> true() <= lte(x, y) = true(), lte(y, z) = true()
0.00/0.46	
0.00/0.46	Proof:
0.00/0.46	ConCon could not decide confluence of the system.
0.00/0.46	\cite{ALS94}, Theorem 4.1 does not apply.
0.00/0.46	This system may be strongly deterministic or not.
0.00/0.46	
0.00/0.48	EOF