Class PointerAnalysisImpl