Changed a flag so that the points-to analysis is context-insensitive by default.
Changed a flag so that the points-to analysis is context-insensitive by default.

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