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