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

wondering if  the other way around would be better: create a new array instead of set and add open indices to it from within the loop.