0.57/1.19	MAYBE
0.57/1.19	
0.57/1.19	Problem:
0.57/1.20	p(q(x)) -> p(r(x))
0.57/1.20	q(h(x)) -> r(x)
0.67/1.20	r(x) -> r(h(x)) <= s(x) = 0()
0.67/1.20	s(x) -> 1()
0.67/1.20	
0.67/1.20	Proof:
0.67/1.20	ConCon could not decide confluence of the system.
0.67/1.20	\cite{ALS94}, Theorem 4.1 does not apply.
0.67/1.20	
0.67/1.20	EOF