4.18/2.20	MAYBE
4.18/2.20	(UNSUPPORTED)
4.18/2.20	ConCon could not decide confluence of the system.
4.18/2.20	\cite{ALS94}, Theorem 4.1 does not apply.
4.18/2.20	This system is of type 3 or smaller.
4.18/2.20	This system is absolutely deterministic.
4.18/2.20	This system is terminating.
4.18/2.20	ConCon could not decide whether all 2 critical pairs are joinable or not.
4.18/2.20	Overlap: (rule1: ssp(cons(z, x'), x) -> cons(z, ssp(x', sub(x, z))), rule2: ssp(cons(z', $1), y') -> ssp($1, y'), pos: ε, mgu: {(z,z'), (x',$1), (x,y')})
4.18/2.20	CP: ssp($1, y') = cons(z', ssp($1, sub(y', z')))
4.18/2.20	ConCon could not decide context-joinability of this critical pair.
4.18/2.21	EOF