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.