===== rename_tac =====

Assigns new identifiers to bound variables from left to right. If there are more variables than new names, the rightmost are renamed.