Inconsistent error reporting on list projection with impossible static bounds.

Jeroen found that list projection with completely impossible static bounds is not consistently handled.

event e, f;

automaton X:
	disc list[2..2] int v;

	location A:
		initial;
		edge e do v[-11] := 3; // Is not caught.
		edge f do v[10] := 5;  // Gives an error.
end

The impossible positive index throws an error for being out of bounds. If you add a comment // in front of that line, it only warns about not using event f.