anchor.diff:  (defun program-by-name (program name)
     (or (values (gethash name program))
         (error "The function ~S not defined." name)))
  +
  +(defun program-function-alive-p (program name)
  +  (if (member name '(init main intr))
  +      t
  +      (and (some #'(lambda (name1)
  +                     (destructuring-bind (args body body1 insts)
  +                         (program-by-name program name1)
  +                       (declare (ignore args body body1))
  +                       (and (not (eq name name1))
  +                            (search (compile-token name) insts))))
  +                 (program-names program))
  +           t)))
   
   (defun program-macro-exists-p (name)
     (and (symbolp name)
  
positive.code: 
  (defun immediates-environment-lookup (var env)
    (cdr (assoc var env)))
  
  (defun alive-variable-p (var expr)
    (and (member var (flatten-list expr))
         t))
  
  (defun immediates (env inst)
    (cond
  
negative.code:      (immediates (empty-immediates-environment)
        (virtual
         (closure
          (elim
           (inlined fundefs
            (flatten
             (beta (empty-beta-environment)
              (alpha2 (empty-alpha2-environment)
               (alpha1 (empty-alpha1-environment)
                (k-normal (empty-k-normal-environment)
                 (expand form)))))))))))))))
  
  (defun expand-pic (form)
    (expand form))
  