0.00/0.72	MAYBE
0.00/0.72	
0.00/0.72	Problem:
0.00/0.72	a() -> b() <= f(a()) = b()
0.00/0.72	
0.00/0.72	Proof:
0.00/0.72	ConCon could not decide confluence of the system.
0.00/0.72	\cite{ALS94}, Theorem 4.1 does not apply.
0.00/0.72	ConCon could not decide if this system is quasi-decreasing.
0.00/0.72	\cite{A14}, Theorem 11.5.9 does not apply.
0.00/0.72	
0.00/0.74	EOF