0.00/0.51	MAYBE
0.00/0.51	
0.00/0.51	Problem:
0.00/0.51	a() -> c()
0.00/0.51	a() -> d()
0.00/0.51	f(x, y) -> z <= c() = x, y = z
0.00/0.51	
0.00/0.51	Proof:
0.00/0.51	ConCon could not decide confluence of the system.
0.00/0.51	\cite{ALS94}, Theorem 4.1 does not apply.
0.00/0.51	ConCon could not decide whether all 2 critical pairs are joinable or not.
0.00/0.51	CP: c() = d():
0.00/0.51	
0.00/0.51	EOF