V&V constantly checks for conflicts, subsumtion, ranges and so on. This is often done by asking a question "are these two rules in conflict" then compares the two rules until it finds a bit that causes the conflict. Now when one of these rules changes we check that rule against all the other rules if the rule is now in conflict with the others.

It would be better to just save the conflicting items. When a rule changes that has a conflict, we check if the change happened in the conflicting item. If it did, we rerun the validation. If it did not, we skip the conflict checks since the issues was not fixed.

For redundancy the same applies, but in the opposite way. It there are two items that block the redundancy, we ignore the redundancy checks.

Saving the check state would help to reduce the work done (CPU time) on subsumption, redundancy and range checks.