17.18 Introducing storage locations

The following bindings are exported by the library (vicare compiler).

Function: pass-introduce-vars input

Perform code transformations traversing the whole hierarchy in input, which must be a struct instance representing recordised code, and building a new hierarchy of recordised code; return the new hierarchy.

Replace all the prelex structs in recordised code with var structs; this is because after this compiler pass we need a different set of properties to handle variable bindings.