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)