Expand verification of index relations.