0.00/0.53	MAYBE
0.00/0.53	
0.00/0.53	Problem:
0.00/0.53	g(x) -> k(y) <= h(x) = d(), h(x) = c(y)
0.00/0.53	h(d()) -> c(a())
0.00/0.53	h(d()) -> c(b())
0.00/0.53	f(k(a()), k(b()), x) -> f(x, x, x)
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{ALS94}, Theorem 4.1 does not apply.
0.00/0.54	ConCon could not decide whether all 2 critical pairs are joinable or not.
0.00/0.54	CP: c(a()) = c(b()):
0.00/0.54	
0.00/0.55	EOF