Modified uses and defs for array indexing
a