Переименование идентификаторов

В следующей процедуре описывается операция переименования идентификатора в коде. Эта процедура используется для выполнения операции оптимизации, называемой Переименовать.