anchor.diff:  
   (defun funinfo-in-toplevel-env? (fi var)
     (when fi
  -    (unless (and (funinfo-in-args-or-env? fi var)
  -                 (funinfo-parent 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)))))
  
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: ;;;; ARGUMENTS
  
  (defun funinfo-arg? (fi var)
    (and (member var (funinfo-args fi) :test #'eq)
         fi))
  
  ;;;; FREE VARIABLES
  
  