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