8.68/4.51	MAYBE
8.68/4.51	(UNSUPPORTED)
8.68/4.51	ConCon could not decide confluence of the system.
8.68/4.51	\cite{SMI95}, Corollary 4.7 or 5.3 do not apply.
8.68/4.51	This system is oriented.
8.68/4.51	This system is of type 3 or smaller.
8.68/4.51	This system is right-stable.
8.68/4.51	This system is properly oriented.
8.68/4.51	This is an overlay system.
8.68/4.51	This system is left-linear.
8.68/4.51	This critical pair is not trivial.
8.68/4.51	This critical pair is conditional.
8.68/4.51	This critical pair has some non-trivial conditions.
8.68/4.51	Some of the 4 critical pairs are not trivial and ConCon could not decide whether those all are infeasible.
8.68/4.51	Overlap: (rule1: e(s(y)) -> false <= e(y) = true, rule2: e(s(z)) -> true <= o(z) = true, pos: ε, mgu: {(y,z)})
8.68/4.51	CP: true = false <= e(z) = true, o(z) = true
8.68/4.51	ConCon could not decide infeasibility of this critical pair.
8.68/4.52	EOF