0.00/0.58	MAYBE
0.00/0.58	
0.00/0.58	Problem:
0.00/0.58	lte(x, z) -> true() <= lte(x, y) = true(), lte(y, z) = true()
0.00/0.58	lte(x, x) -> true()
0.00/0.58	max(x, y) -> y <= lte(x, y) = true()
0.00/0.58	max(x, y) -> x <= lte(x, y) = false()
0.00/0.58	lte(x, max(x, y)) -> true()
0.00/0.58	lte(y, max(x, y)) -> true()
0.00/0.58	
0.00/0.58	Proof:
0.00/0.58	ConCon could not decide confluence of the system.
0.00/0.58	\cite{SMI95}, Corollary 4.7 or 5.3 do not apply.
0.00/0.58	
0.00/0.59	EOF