Rename variable names in let-bindings
Rename instance index