0.00/0.43	MAYBE
0.00/0.43	
0.00/0.43	Problem:
0.00/0.43	s(a()) -> c()
0.00/0.43	s(b()) -> c()
0.00/0.43	c() -> t(k())
0.00/0.43	c() -> t(l())
0.00/0.43	f(x) -> z <= s(x) = z
0.00/0.43	g(x, x) -> h(x, x)
0.00/0.43	
0.00/0.43	Proof:
0.00/0.43	ConCon could not decide confluence of the system.
0.00/0.44	\cite{GNG13}, Theorem 9 does not apply.
0.00/0.44	
0.00/0.44	EOF