Fixed a pruneEnvStore bug.
Added a small optimization: we won't insert addr-taken vars that are not
pointers into local envs. The same optimization could be added for heap
vars (with more caution, though)
Finished data dependence graph construction. Now we have to handle all
those complications caused by function calls.