Custom error messages for invariants and requires