(C7103) 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.
A is a bit-array from 31 down to 0. There is an action in the model: