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:                              (push inst remove-me))))
                          (store-local-instruction
                           (when (eql (store-local-local inst) candidate)
                             (insert-after backend-function inst
                                           (make-instance 'debug-update-variable-instruction
                                                          :variable (bind-local-ast candidate)
                                                          :value (store-local-value inst)))
                             (push inst remove-me)
                             (push (store-local-value inst) stack)))
                          (unbind-local-instruction
                           (when (eql (unbind-local-local inst) candidate)
                             (insert-after backend-function inst
                                           (make-instance 'debug-unbind-variable-instruction
                                                          :variable (bind-local-ast candidate)))
                             (push inst remove-me)
                             ;; Stop renaming this branch of the dom tree
                             ;; when the variable is unbound.
  
negative.code:                (incf n-simple-loads-converted))
                ((and (typep inst 'bind-local-instruction)
                      (member inst candidates))
                 (when debugp
                   (insert-before backend-function inst
                                  (make-instance 'debug-bind-variable-instruction
                                                 :variable (bind-local-ast inst)
                                                 :value (bind-local-value inst))))
                 (push inst remove-me))
                ((and (typep inst 'unbind-local-instruction)
                      (member (unbind-local-local inst) candidates))
                 (when debugp
                   (insert-before backend-function inst
                                  (make-instance 'debug-unbind-variable-instruction
                                                 :variable (bind-local-ast (unbind-local-local inst)))))
                 (push inst remove-me)))))
      (dolist (inst remove-me)
        (remove-instruction backend-function inst))
  