PROBCORE-392 Invariant violations are colored red again.