anchor.diff:  		     (cadr successors)
   		     (car successors))
   		 (sicl-mir:make-assignment-instruction
  -		  ast
  +		  (sicl-mir:make-constant-input (sicl-ast:value ast))
   		  (car results)
   		  (if (null (sicl-ast:value ast))
   		      (cadr successors)
  
positive.code: 		  (car results)
  		  (sicl-mir:make-test-instruction ast successors))))))))
  
  (defun compile-toplevel (ast)
    (let ((*block-info* (make-hash-table :test #'eq))
  	(*go-info* (make-hash-table :test #'eq)))
  
negative.code: (defun make-temp (argument)
    (cond ((typep argument 'sicl-env:lexical-location)
  	 argument)
  	((typep argument 'sicl-ast:immediate-ast)
  	 (sicl-mir:make-immediate-input (sicl-ast:value argument)))
  	((typep argument 'sicl-ast:load-time-value-ast)
  