A @behavior cannot have an @invariant clause.
The RAC now verifies invariants.
Update an exception message.
Format code. #mania