= Rename variable =

The "rename variable" transformation renames a variable and all of its occurrences. The only semantic information it requires is the scope and visibility of the variables.

Rename X to Y:

{{{
max(X,Z) ->
   if
      X=<Z -> Z;
      X>=Z -> X
   end.
}}}

Result:

{{{
max(Y,Z) ->
   if
      Y=<Z -> Z;
      Y>=Z -> Y
   end.
}}}

== Side conditions ==

 * The new variable name does not exist in the scope of the variable, either as a defined variable or as a visible variable. If it exists then the transformation starts an interaction to ask for a new variable name.

 * If the user does not specify a variable, the transformation starts an interaction to ask for a variable. It gives a list of variables which can be reached from the selected function clause.


== Transformation steps and compensations ==

 1. Replace every occurrence of the variable with the new name. In case of variable shadowing, other variables with the same name are not modified.