anchor.diff:  		       (push location (locations (owner location))))))))
   
   (defun ensure-location-ownership (program)
  -  (when (>= (max (instruction-ownership-timestamp program)
  -		 (location-info-timestamp program))
  +  (when (>= (max (ensure-instruction-ownership program)
  +		 (ensure-location-info program))
   	    (location-ownership-timestamp program))
       (compute-location-ownership program)
       (setf (location-ownership-timestamp program)
  
positive.code: 	    do (setf (gethash procedure indices) 0))
        (map-locations (lambda (location)
  		       (setf (index location)
  			     (gethash (procedure location) indices))
  		       (incf (gethash (procedure location) indices)))))))
  
  (defun ensure-location-indices (program)
    (when (>= (ensure-instruction-ownership program)
  
negative.code: 		 (loop for preds = (predecessors initial)
  		       while (= (length preds) 1)
  		       for pred = (car preds)
  		       while (eq (owner pred) procedure)
  		       for succs = (successors pred)
  		       while (= (length succs) 1)
  		       do (setf initial pred)
  