0.00/0.45	MAYBE
0.00/0.45	
0.00/0.45	Problem:
0.00/0.45	add(x, 0()) -> x
0.00/0.45	add(x, s(y)) -> z <= add(s(x), y) = z
0.00/0.45	sub(z, y) -> x <= add(x, y) = z
0.00/0.45	
0.00/0.45	Proof:
0.00/0.45	ConCon could not decide confluence of the system.
0.00/0.45	\cite{SMI95}, Corollary 4.7 or 5.3 do not apply.
0.00/0.45	
0.00/0.45	EOF