0.00/0.53	MAYBE
0.00/0.53	
0.00/0.53	Problem:
0.00/0.53	f(x, x) -> a() <= g(x) = b()
0.00/0.53	
0.00/0.53	Proof:
0.00/0.53	ConCon could not decide confluence of the system.
0.00/0.53	\cite{SMI95}, Corollary 4.7 or 5.3 do not apply.
0.00/0.54	
0.00/0.54	EOF