anchor.diff:          (format t "Directly converting ~:S~%" simple-transforms)
           (format t "Fully converting ~:S~%" full-transforms)
           (format t "Rejected converting ~:S~%" rejected-transforms))
  -      (when (not (endp simple-transforms))
  -        (ssa-convert-simple-locals backend-function simple-transforms))
  -      (when (not (endp full-transforms))
  -        (ssa-convert-locals backend-function full-transforms)))))
  +      (let ((debugp (/= (sys.c::optimize-quality (ast backend-function) 'debug) 0)))
  +        (when (not (endp simple-transforms))
  +          (ssa-convert-simple-locals backend-function simple-transforms debugp))
  +        (when (not (endp full-transforms))
  +          (ssa-convert-locals backend-function full-transforms debugp))))))
  
positive.code:           (remove-instruction backend-function inst))))
      t))
  
  (defun ssa-convert-locals (backend-function candidates)
    (multiple-value-bind (basic-blocks bb-preds bb-succs)
        (build-cfg backend-function)
      (let ((dom (mezzano.compiler.backend.dominance:compute-dominance backend-function))
  
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 '())
  