0.00/0.51	MAYBE
0.00/0.51	
0.00/0.51	Problem:
0.00/0.51	add(x, 0()) -> x
0.00/0.51	add(x, s(y)) -> s(z) <= add(x, y) = z
0.00/0.51	sub(z, y) -> x <= add(x, y) = z
0.00/0.51	
0.00/0.51	Proof:
0.00/0.51	ConCon could not decide confluence of the system.
0.00/0.51	
0.00/0.52	EOF