2.56/1.71	MAYBE
2.56/1.71	(UNSUPPORTED)
2.56/1.71	ConCon could not decide confluence of the system.
2.56/1.71	\cite{ALS94}, Theorem 4.1 does not apply.
2.56/1.71	This system is of type 3 or smaller.
2.56/1.71	This system is absolutely deterministic.
2.56/1.71	This system is terminating.
2.56/1.71	ConCon could not decide whether all 1 critical pairs are joinable or not.
2.56/1.71	Overlap: (rule1: p(q(y)) -> p(r(y)), rule2: q(h(z)) -> r(z), pos: 1, mgu: {(y,h(z))})
2.56/1.71	CP: p(r(z)) = p(r(h(z)))
2.56/1.71	ConCon could not decide context-joinability of this critical pair.
2.56/1.72	EOF