anchor.diff:  
   (add-dependencies 'instruction-ownership
   		  '(instruction-info))
  +
  +;;; It might be confusing that we compute the procedures at the same
  +;;; time we determine instruction ownership.  For that reason, we
  +;;; instroduce a target named PROCEDURES.
  +
  +(set-processor 'procedures 'identity)
  +
  +(add-dependencies 'procedures
  +		  '(instruction-ownership))
   
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;
  
positive.code: 		   (nsubstitute temp constant (sicl-mir:inputs instruction)
  				:test #'eq))
  		 (mapc #'traverse (successors instruction)))))
        (traverse first-instruction))))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  
negative.code: 		     (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))))))
  