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

sure