anchor.diff:  
             ;; 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 named continuation if
  +          ;; 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-named-continuation if-k-name statement-tail))
  +                  (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
  
positive.code:        nil))))
        
  
  (defun make-named-continuation (name statement-tail)
    "Constructs a continuation from STATEMENT-TAIL and returns a var-decl-statement
     that initializes a variable named NAME to the new continuation.  Note that named
     continuations accept no arguments."
  
negative.code: (defmethod tx-cps ((elm switch) statement-tail)
    (with-added-environment
      (let* ((switch-k-name (genvar "switchK"))
             (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))
  