accrue.analysis.notnulldataflow

Class NotNullGoal