Def/Use analysis should be array-sensitive

[mahills]

The current def/use analysis treats all indexes in an array as referring to the same object in memory. This should be modified -- potentially as an option to the algorithm -- to allow different indexes into the array to be distinguished when possible.