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