0.00/0.82	MAYBE
0.00/0.82	
0.00/0.82	Problem:
0.00/0.83	p(q(x)) -> 0()
0.00/0.83	c() -> c()
0.00/0.83	a(x) -> b() <= p(x) = 0()
0.00/0.83	
0.00/0.83	Proof:
0.00/0.83	ConCon could not decide confluence of the system.
0.00/0.83	\cite{ALS94}, Theorem 4.1 does not apply.
0.00/0.83	ConCon could not decide if this system is quasi-decreasing.
0.00/0.83	\cite{A14}, Theorem 11.5.9 does not apply.
0.00/0.83	
0.00/0.84	EOF