Class ExplodedCFGNullPointerAnalysis