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

can we add an error message to the `fail()` call?