Fix bug in variable renaming to pretty names which could cause name clashes with user-declared variables.
Fix bug in variable renaming to pretty names which could cause name clashes with user-declared variables.

metaborg/dynsem,metaborg/dynsem