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 := 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