anchor.diff:  (defvar *r6-lexical*)
   (defvar *r7-lexical*)
   (defvar *r8-lexical*)
  +(defvar *r10-lexical*)
   (defvar *r11-lexical*)
   
   (defvar *linkage-vector-lexical*)
  
positive.code: 
  (defun convert-instruction-graph (initial-instruction)
    (let ((table (make-hash-table :test #'eq))
  	(*linkage-vector-lexical* (sicl-mir:new-temporary))
  	(*code-object-lexical* (sicl-mir:new-temporary))
  	(*return-address-lexical* (sicl-mir:new-temporary))
  
negative.code: 	     instruction)
  	    instruction)
  	   (setf (car rest) (aref *registers* i)))
    (setf (sicl-mir:inputs instruction)
  	(append (list (aref *registers* 12)
  		      *r4-lexical*
  		      *r5-lexical*
  		      *r6-lexical*
  		      *r7-lexical*
  		      *r8-lexical*
  		      *r10-lexical*
  		      *r11-lexical*
  		      *return-address-lexical*)
  		(sicl-mir:inputs instruction))))
  
  (defmethod convert-instruction
      ((instruction sicl-mir:load-constant-instruction))
  