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