3.75/2.19	MAYBE
3.75/2.19	(UNSUPPORTED)
3.75/2.19	ConCon could not decide confluence of the system.
3.75/2.19	\cite{ALS94}, Theorem 4.1 does not apply.
3.75/2.19	This system is of type 3 or smaller.
3.75/2.19	This system is absolutely deterministic.
3.75/2.19	This system is terminating.
3.75/2.19	This critical pair is conditional.
3.75/2.19	This critical pair has some non-trivial conditions.
3.75/2.19	ConCon could not decide whether all 4 critical pairs are joinable or not.
3.75/2.19	Overlap: (rule1: f(y) -> B <= s(y) = t, rule2: f(z) -> A <= s(z) = t, pos: ε, mgu: {(y,z)})
3.75/2.19	CP: A = B <= s(z) = t, s(z) = t
3.75/2.19	ConCon could not decide infeasibility of this critical pair.
3.75/2.19	EOF