Improved the variable renaming algorithm.

Now it renames only the bound variables in the substitution target (left side),
if the names are the same as any variable name in the substitution value (right side).

Could improve the algorithm to substitute only when needed instead of doing an
aditional tree parsing.
Merge branch 'master' of github.com:virtosubogdan/MSE