0.66/1.48	MAYBE
0.66/1.48	
0.66/1.48	Problem:
0.66/1.48	p(q(x)) -> p(r(x))
0.66/1.48	q(h(x)) -> r(x)
0.66/1.48	r(x) -> r(h(x)) <= s(x) = 0()
0.66/1.48	s(x) -> 1()
0.66/1.48	
0.66/1.48	Proof:
0.66/1.48	ConCon could not decide confluence of the system.
0.66/1.48	\cite{GNG13}, Theorem 9 does not apply.
0.66/1.48	
0.66/1.49	EOF