Added a free variable analysis pass.