Switch to keeping the last expression used to access the array rather than the first one.
Switch to keeping the last expression used to access the array rather than the first one.

Does not really seem to be advantageous at this time.

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer