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