3.51/2.08	MAYBE
3.51/2.08	(UNSUPPORTED)
3.52/2.08	ConCon could not decide confluence of the system.
3.52/2.08	\cite{ALS94}, Theorem 4.1 does not apply.
3.52/2.08	This system is of type 3 or smaller.
3.52/2.08	This system is absolutely deterministic.
3.52/2.08	This system is terminating.
3.52/2.08	This critical pair is conditional.
3.52/2.08	This critical pair has some non-trivial conditions.
3.52/2.08	ConCon could not decide whether all 5 critical pairs are joinable or not.
3.52/2.08	Overlap: (rule1: h(y, f(y)) -> y, rule2: f(z) -> z <= z = c, pos: 2, mgu: {(y,z)})
3.52/2.08	CP: h(z, z) = z <= z = c
3.52/2.08	ConCon could not decide infeasibility of this critical pair.
3.52/2.08	don't know if infeasible
3.52/2.09	EOF