5.58/2.65	MAYBE
5.58/2.65	(UNSUPPORTED)
5.58/2.65	ConCon could not decide confluence of the system.
5.58/2.65	\cite{ALS94}, Theorem 4.1 does not apply.
5.58/2.65	This system is of type 3 or smaller.
5.58/2.65	This system is absolutely deterministic.
5.58/2.65	This system is terminating.
5.58/2.65	This critical pair is conditional.
5.58/2.65	This critical pair has some non-trivial conditions.
5.58/2.65	ConCon could not decide whether all 2 critical pairs are joinable or not.
5.58/2.65	Overlap: (rule1: tc(x') -> y' <= pin(x') = pout(z'), tc(z') = y', rule2: tc(y) -> y, pos: ε, mgu: {(x',y)})
5.58/2.65	CP: y = y' <= pin(y) = pout(z'), tc(z') = y'
5.58/2.65	ConCon could not decide infeasibility of this critical pair.
5.73/2.65	EOF