Class TypeBasedPointerAnalysis