0.00/0.53	MAYBE
0.00/0.53	
0.00/0.53	Problem:
0.00/0.53	a() -> c()
0.00/0.53	a() -> d()
0.00/0.53	s(c()) -> t(k())
0.00/0.53	f(x) -> z <= s(x) = t(z)
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.53	ConCon could not decide whether all 2 critical pairs are joinable or not.
0.00/0.53	CP: c() = d():
0.00/0.53	
0.00/0.53	EOF