0.00/0.93	MAYBE
0.00/0.93	
0.00/0.93	Problem:
0.00/0.93	ssp(nil(), 0()) -> nil()
0.00/0.93	ssp(cons(y, ys'), v) -> xs <= ssp(ys', v) = xs
0.00/0.93	ssp(cons(y, ys'), v) -> cons(y, xs') <= sub(v, y) = w, ssp(ys', w) = xs'
0.00/0.93	sub(z, 0()) -> z
0.00/0.93	sub(s(v), s(w)) -> z <= sub(v, w) = z
0.00/0.93	
0.00/0.93	Proof:
0.00/0.93	ConCon could not decide confluence of the system.
0.00/0.93	\cite{GNG13}, Theorem 9 does not apply.
0.00/0.93	
0.00/0.93	EOF