A @behavior cannot have an @invariant clause.
The RAC now verifies invariants.
Update an exception message.
Format code. #mania
[auto] Merge from Praspel

    • #7219b89 — A @behavior cannot have an @invariant clause. (Ivan Enderlin, 2013-06-13)
    • #591d73d — The RAC now verifies invariants. (Ivan Enderlin, 2013-06-13)
    • #fc486ce — Update an exception message. (Ivan Enderlin, 2013-06-13)
    • #01d2721 — Format code. #mania (Ivan Enderlin, 2013-06-13)

---

Merge remote branch 'library-praspel/master'