Gave up on renameAway() as it was, but implemented getFreeVars() and renameVarsToVars() to fill the same role.
Gave up on renameAway() as it was, but implemented getFreeVars() and renameVarsToVars() to fill the same role.

rocketnia/era,era-platform/cene,rocketnia/era-cene,era-platform/cene,rocketnia/era,era-platform/cene,rocketnia/era-cene,rocketnia/era,rocketnia/era-cene