Remove unnecessary runtime range values of aliased constant arrays, again