Core: Verify the index state of concrete indices after alias resolution

same as above