anchor.diff:    (funinfo-var-add-many fi x))
   
   
  -;;;; LEXICAL CONTEXT
  +;;;; LEXICALS
  +
  +(defun funinfo-var-or-lexical? (fi x)
  +  (!? (funinfo-parent fi)
  +      (| (funinfo-arg-or-var? fi x)
  +         (funinfo-var-or-lexical? ! x))))
   
   (defun funinfo-lexical-pos (fi x)
     (position x (funinfo-lexicals fi) :test #'eq))
  
positive.code:   (funinfo-var-pos (get-funinfo name) x))
  
  (defun funinfo-var-add (fi x)
    (unless (atom x)
  	(print x)
  	(error "Atom expected."))
    (unless (funinfo-var? fi x)
      (? (funinfo-parent fi)
         (append! (funinfo-vars fi) (list x))
  
negative.code:   (| (funinfo-arg? fi x)
       (funinfo-var? fi x)))
  
  
  ;;;; VARIABLES
  
  (defun funinfo-parent-var? (fi x)
    (!? (funinfo-parent fi)
  