Fixed the array problem. Now we no longer collapse arrays into a single
location but rather treats array geps as multiple copy.
Things to do next: (1) External function (2) Store pruning (3)
Context-sensitive trace (4) Add array bound to optimize the analysis
time