the wrong binding rules for free variables (dynamic instead of lexicographic). …… McCarthy (1978) reports that this problem (wrong binding for free variables)
system to restore the binding environment for functional arguments. It would require knowing where in the stack or "alist" the binding environment exists