Pointer analyzer improvements and cleanups