anchor.diff:  
   (defun inlined-environment-add-fundefs (fundefs env)
     (if fundefs
  -      (destructuring-bind ((name args body1) . rest) fundefs
  +      (destructuring-bind ((name args body) . rest) fundefs
           (inlined-environment-add-fundefs rest
  -         (inlined-environment-add name args body1 env)))
  +         (inlined-environment-add name args body env)))
         env))
   
   (defun inlined-environment-lookup (name env)
  
positive.code:                                        (compile-pic body fundefs))
                        (t (write-line (compile-token name) s)
                           (compile-pic `(with-args ,args ,body) fundefs)))))))
      (setf (gethash name program) (list args body body1 insts))
      name))
  
  (defun program-defmacro (name expander)
  
negative.code:         (repeatedly *limit*
            #'(lambda (form)
                (elim
                 (flatten
                  (beta (empty-beta-environment) form))))
            (alpha2 (empty-alpha2-environment)
             (alpha1 (empty-alpha1-environment)
              (k-normal (empty-k-normal-environment)
               (repeatedly *limit*
                 #'(lambda (form)
                     (inlined fundefs form))
                 (expand form)))))))))))))
  
  (defun expand-pic (form)
    (expand form))
  
  (defun inlined-pic (form fundefs)
    (repeatedly *limit*
      #'(lambda (form)
          (inlined fundefs form))
      (expand-pic form)))
  
  (defun k-normal-pic (form fundefs)
    (k-normal (empty-k-normal-environment)
     (inlined-pic form fundefs)))
  
  (defun alpha-pic (form fundefs)
    (alpha2 (empty-alpha2-environment)
     (alpha1 (empty-alpha1-environment)
       (k-normal-pic form fundefs))))
  
  (defun beta-pic (form fundefs)
    (beta (empty-beta-environment)
     (alpha-pic form fundefs)))
  
  (defun flatten-pic (form fundefs)
    (flatten
     (beta-pic form fundefs)))
  
  (defun elim-pic (form fundefs)
    (elim
  