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