Added a mapping from expressions to their points-to type, updated Simon's absloc interface functions
Added a mapping from expressions to their points-to type, updated Simon's absloc interface functions

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c