Renaming identifiers in array indexing in CBN