Array bounds check

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

Test case ID: R0305
Language: ST

Code:

tests2/t0305.st
TYPE
    T_VECTOR_INT : ARRAY [3..10] OF INT;
END_TYPE

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

END_PROGRAM