Class DefinitelyNullSetAnalysis