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