accrue.analysis.goals

Class MakeNarrowingAssignmentsExplicitGoal