(C5007) Arrays with indices in reverse order Error In: Correctness Description: 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. Example: A is a bit-array from 31 down to 0There is an action in the model:A(0.. 7):=3 Erroneous Elements: Data-items, fields, conditions, and events