Verify exclusion consistency