#424 Describe invariant violation more briefly if possible.

27 jobs for 424-more-general-invariants-checker in 0 seconds (queued for 30 seconds)