Split v0 Invariant Interface for Property and Model Invariants

[wggster]

• [x] Identify minimal interface for property invariants (implies identifying a default inference strategy) (3 hr)
• [x] Identify minimal common super type (3 hr)
• [x] Implement property invariant interface (2 hr)
• [x] Implement model invariant interface (3 hr)