add a test involving pointer comparisons that should not generate edges
add a test involving pointer comparisons that should not generate edges

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