Class PointerAnalysisImpl.HModel