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