0.00/0.46	MAYBE
0.00/0.46	
0.00/0.46	Problem:
0.00/0.46	ssp(xs, v) -> ys <= subL(ys, xs) = tt(), sum(ys) = v
0.00/0.46	subL(nil(), nil()) -> tt()
0.00/0.46	subL(xs, cons(y, ys)) -> z <= subL(xs, ys) = z
0.00/0.46	sum(nil()) -> 0()
0.00/0.46	sum(cons(x, xs)) -> z <= sum(xs) = w, add(w, x) = z
0.00/0.46	add(x, 0()) -> x
0.00/0.46	add(x, s(y)) -> s(z) <= add(x, y) = z
0.00/0.46	
0.00/0.46	Proof:
0.00/0.46	ConCon could not decide confluence of the system.
0.00/0.46	\cite{ALS94}, Theorem 4.1 does not apply.
0.00/0.46	This system may be strongly deterministic or not.
0.00/0.46	
0.00/0.48	EOF