model tests, HW notes
- working model tests for StateSet