FreeVars with new tranformations