[Eva] Fixes high priority / red status on preconditions.

When an invalid status is emitted for the instance of a precondition at a
callsite, registers as "high priority" the instance as well as the precondition
itself.