WIP for calculating new-free-vars for closures