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