andersen points-to analysis
added faked location to emulate shared variables behaviour