Change Log: - Constraint.quantifier changed to DataUse Change Log: - CollectionDataInstance.item changed to DataUse - Added CollectionDataInstance.unassignedMember Change Log: - Changed VerdictAssignment.verdict to DataUse ChangeLog: - Switched superclass of Assignment to AtomicBehaviour - Note that Assertion.otherwise is already DataUse (vs StaticDataUse in Part 1)