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