cl_bsp.compute_MOP_Solution();

                    cl_cfg.setDataFlowSolution(cl_bsp.getName(), cl_bsp);

                    // If the call is an eval, or if the callee can capture this method's binding, we have to spill all variables.

                    // - If all variables have to be spilled, then those variables will no longer be dirty after the call site

                    // - If a variable is used in the closure (FIXME: Strictly only those vars that are live at the call site --

                    //   but we dont have this info!), it has to be spilt. So, these variables are no longer dirty after the call site.

                    // - If a variable is (re)defined in the closure, it will be saved inside the closure.  So, these variables

                    }

                    // If the call is an eval, or if the callee can capture this method's binding,

                    // we have to spill all variables.

                    // Unless we have to spill everything, spill only those dirty variables that are:

                    // - used in the closure (FIXME: Strictly only those vars that are live at the call site -- but we dont have this info!)

                    Set<Variable> newDirtyVars = new HashSet<Variable>(dirtyVars);

                    for (Variable v : dirtyVars) {

                // If this method receives a closure arg, and this call is an eval that has more than 1 argument,

                // it could be using the closure as a binding -- which means it could be using pretty much any

                // variable from the caller's binding!

                    canCaptureCallersBinding = true;

            }

        }

    }

                CallBase call = (CallBase) i;

                if (call.targetRequiresCallersBinding()) this.bindingHasEscaped = true;

                    this.usesEval = true;

                    // If this method receives a closure arg, and this call is an eval that has more than 1 argument,

                    // it could be using the closure as a binding -- which means it could be using pretty much any

                    // variable from the caller's binding!