Class SSACFGNullPointerAnalysis