Class DefinitelyNullSetDataflow