0.00/0.74	MAYBE
0.00/0.74	
0.00/0.74	Problem:
0.00/0.74	pos(s(0())) -> true()
0.00/0.74	pos(0()) -> false()
0.00/0.75	pos(s(x)) -> true() <= pos(x) = true()
0.00/0.75	pos(p(x)) -> false() <= pos(x) = false()
0.00/0.75	
0.00/0.75	Proof:
0.00/0.75	ConCon could not decide confluence of the system.
0.00/0.75	\cite{GNG13}, Theorem 9 does not apply.
0.00/0.75	
0.00/0.75	EOF