anchor.diff:         nil))))
         
   
  -(defun make-named-continuation (name statement-tail)
  +(defun make-labelled-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."
  
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
  