anchor.diff:  ;;;; ARGUMENTS
   
   (defun funinfo-arg? (fi var)
  -  (member var (funinfo-args fi) :test #'eq))
  +  (and (member var (funinfo-args fi) :test #'eq)
  +       fi))
   
   ;;;; FREE VARIABLES
   
  
positive.code: 			 (funinfo-args fi)))
  
  (defun funinfo-in-env? (fi x)
    (? (funinfo-parent fi)
       (member x (funinfo-env fi) :test #'eq)
       (href (funinfo-env-hash fi) x)))
  
  (defun funinfo-in-args-or-env? (fi x)
    (or (funinfo-arg? fi x)
  
negative.code: 
  (defun funinfo-in-toplevel-env? (fi var)
    (when fi
      (unless (and (funinfo-parent fi)
                   (funinfo-in-args-or-env? fi var))
        (aif (funinfo-parent fi)
  		   (funinfo-in-toplevel-env? ! var)
             (funinfo-in-args-or-env? fi var)))))
  