0.00/0.44	MAYBE
0.00/0.44	
0.00/0.44	Problem:
0.00/0.44	div(z, y) -> x <= mul(x, y) = z, gt(y, 0()) = tt()
0.00/0.44	mul(x, 0()) -> 0()
0.00/0.44	mul(0(), y) -> 0()
0.00/0.44	mul(s(x), s(y)) -> s(z) <= mul(x, s(y)) = w, add(w, y) = z
0.00/0.44	gt(0(), y) -> ff()
0.00/0.44	gt(s(x), 0()) -> tt()
0.00/0.44	gt(s(x), s(y)) -> z <= gt(x, y) = z
0.00/0.44	
0.00/0.44	Proof:
0.00/0.44	ConCon could not decide confluence of the system.
0.00/0.44	\cite{ALS94}, Theorem 4.1 does not apply.
0.00/0.44	This system may be strongly deterministic or not.
0.00/0.44	
0.00/0.46	EOF