Actually, on reflection I think this change is bad.

For this clause to fire A would have to dominate B AND B dominate A. That is impossible. If it happens then crashing here is the best thing, as any further behaviour is completely unknown. I say crash as near the site of "impossible" bugs as possible.