Preconditions have been added to `property` declarations. We need to add support for checking them now. This involves two things: - [x] Update generated `procedure` for checking `property` - [ ] Update expression flattening to incorporate preconditions.
Preconditions have been added to
propertydeclarations. We need to add support for checking them now. This involves two things:procedurefor checkingproperty