Array bounds check 2D

This test case it part of the test suite proposed for new devices.

Test case ID: R0306
Language: ST

Code:

tests2/t0306.st
TYPE
    T_VECTOR_INT : ARRAY [3..5,10..12] OF INT;
END_TYPE

(* arrays bound check fail *) 
PROGRAM TEST_R0306
    VAR
      V_TI  : T_VECTOR_INT;
      X,i : INT;
    END_VAR
    
    FOR i := 3 TO 5 
    DO
       V_TI[i,10] := i;
    END_FOR;
    _GEB_ASSERT_(V_TI[3,10] = 3);

    i := V_TI[4,9]; (* this won't fail, because it's a flat array - this could change in later versions *)
    i := 100; 
    V_TI[4,i] := i; (* should fail *)

END_PROGRAM