anchor.diff:  		     (let ((a (sicl-mir:make-assignment-instruction
   			       constant temp instruction)))
   		       (setf (gethash a table) t)
  +		       (setf modify-p t)
   		       (push a legitimate-users)
   		       (insert-instruction-before a instruction))
   		     (mapc #'traverse (successors instruction))))))
  
positive.code: 
  (add-dependencies 'instruction-ownership
  		  '(instruction-info))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  
negative.code: (defun cache-constant (constant first-instruction)
    (let ((table (make-hash-table :test #'eq))
  	(temp (sicl-mir:new-temporary))
  	(legitimate-users '())
  	(modify-p nil))
      ;; In phase 1, we find instructions that might be the first users
      ;; of the constant and we insert an assignment instruction before
      ;; those instructions.  These new assignment instructions become
  