Provide for invariant

[corneil]

An invariant Is an expression that should be true across all states. The implementation should evaluate the invariant before and after transitions.