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