Class invariants with hot exception messages