anchor.diff:            (converted '())
             (dynamic-contour (dynamic-contours backend-function)))
         (dolist (candidate candidates)
  -        (when (ssa-convert-one-local backend-function candidate dom basic-blocks bb-preds bb-succs dynamic-contour)
  +        (when (ssa-convert-one-local backend-function candidate dom basic-blocks bb-preds bb-succs dynamic-contour debugp)
             (push candidate converted)
             (incf n-converted)))
         ;; Walk through and remove any load instructions associated with
  
positive.code:             full-transforms
              rejected-transforms)))
  
  (defun ssa-convert-simple-locals (backend-function candidates)
    "Each candidate has one definition. All loads are replaced with the bound value."
    (let ((remove-me '())
          (n-simple-loads-converted 0))
  
negative.code:       (format t "Converted ~D simple loads.~%" n-simple-loads-converted))
      n-simple-loads-converted))
  
  (defun ssa-convert-one-local (backend-function candidate dom basic-blocks bb-preds bb-succs dynamic-contour debugp)
    (declare (ignore basic-blocks bb-succs))
    (let ((visited (make-hash-table :test 'eq :synchronized nil))
          (phi-sites '())
  