0.00/0.46	MAYBE
0.00/0.46	
0.00/0.46	Problem:
0.00/0.47	le(0(), s(x)) -> true()
0.00/0.47	le(x, 0()) -> false()
0.00/0.47	le(s(x), s(y)) -> le(x, y)
0.00/0.47	min(cons(x, nil())) -> x
0.00/0.47	min(cons(x, l)) -> x <= le(x, min(l)) = true()
0.00/0.47	min(cons(x, l)) -> min(l) <= le(x, min(l)) = false()
0.00/0.47	min(cons(x, l)) -> min(l) <= min(l) = x
0.00/0.47	
0.00/0.47	Proof:
0.00/0.47	ConCon could not decide confluence of the system.
0.00/0.47	\cite{SMI95}, Corollary 4.7 or 5.3 do not apply.
0.00/0.47	
0.00/0.47	EOF