anchor.diff:  (defmethod tx-cps ((elm switch) statement-tail)
     (with-added-environment
       (let* ((switch-k-name (genvar "switchK"))
  -           (switch-k-decl (make-named-continuation switch-k-name statement-tail))
  +           (switch-k-decl (make-labelled-continuation switch-k-name statement-tail))
              (*nearest-break* switch-k-name)
              (terminated-clauses (compute-terminated-clauses (switch-clauses elm))))
         (when-let (label (switch-label elm))
  
positive.code:         ;; of the continue binding, because a `continue` inside of a continue continuation should
          ;; restart the same continuation, not some other continuation.
          break-k-decl
          (make-named-continuation continue-k (statement-block-statements (while-body elm)))
          (make-resume-statement :target (make-identifier :name continue-k)))
         t))))
  
  
negative.code: 
            ;; When neither branch is terminated and a non-null else branch exists,
            ;; we need to generate a labelled continuation.
            ;; TODO We could further optimize this to only use a labelled continuation if
            ;; both statements actually /consume/ the tail.
            ((and (not then-terminated) (not else-terminated))
             (let* ((if-k-name (genvar "ifK"))
                    (if-k-decl (make-labelled-continuation if-k-name statement-tail))
                    (if-k-resume (make-resume-statement :target (make-identifier :name if-k-name))))
               (values
                (list
  