2.61/1.79	MAYBE
2.61/1.79	(UNSUPPORTED)
2.61/1.79	ConCon could not decide confluence of the system.
2.61/1.79	\cite{ALS94}, Theorem 4.1 does not apply.
2.61/1.79	This system is of type 3 or smaller.
2.61/1.79	This system is absolutely deterministic.
2.61/1.79	This system is terminating.
2.61/1.79	ConCon could not decide whether all 2 critical pairs are joinable or not.
2.61/1.79	Overlap: (rule1: c -> t(l), rule2: c -> t(k), pos: ε, mgu: {})
2.61/1.79	CP: t(k) = t(l)
2.61/1.79	ConCon could not decide context-joinability of this critical pair.
2.61/1.81	EOF