Statechart Checks : (C1007) Arrays with indices in reverse order

(C1007) Arrays with indices in reverse order

There are arrays or bit-arrays for which there are references to slices whose borders are in a reverse order relative to their type definition.
Error In:
Correctness
Example:
A is a bit-array from 31 down to 0. The model contains the following action:

A(0..7)=3

 

Erroneous Elements:
Data-items, fields, conditions, and events