anchor.diff:  (defun make-temp (argument)
     (cond ((typep argument 'sicl-env:lexical-location-info)
   	 argument)
  -	((typep argument 'sicl-ast:word-ast)
  +	((typep argument 'sicl-ast:immediate-ast)
   	 (sicl-mir:make-immediate-input (sicl-ast:value argument)))
  +	((typep argument 'sicl-ast:load-time-value-ast)
  +	 (sicl-mir:make-external-input (sicl-ast:form-ast argument)))
   	(t
   	 (new-temporary))))
   
  
positive.code:   (loop with succ = successor
  	for arg in (reverse arguments)
  	for temp in (reverse temps)
  	do (unless (typep temp 'sicl-mir:immediate-input)
  	     (setf succ (compile-ast arg (context (list temp) (list succ)))))
  	finally (return succ)))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; Compile a WORD-AST.
  ;;;
  
  (defmethod compile-ast ((ast sicl-ast:word-ast) context)
    (with-accessors ((results results)
  		   (successors successors))
        context
  
negative.code: 
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; Compile an IF-AST.  
  ;;;
  ;;; We compile the test of the IF-AST in a context where no value is
  