#475 Improve error description.

3 jobs for 457-more-general-invariants-checker in 0 seconds (queued for 27 seconds)