anchor.diff:        context
       (ecase (length successors)
         (1 (cond ((eq results t)
  -		(sicl-mir:make-return-instruction
  -		 (list ast) (car successors)))
  +		(sicl-mir:make-return-instruction (list ast)))
   	       ((null results)
   		(warn "variable compiled in a context with no values")
   		(car successors))
  
positive.code: 	(*go-info* (make-hash-table :test #'eq)))
      ;; The top-level ast must represent a thunk.
      (assert (typep ast 'sicl-ast:function-ast))
      (compile-function (sicl-ast:argparse-ast ast)
  		      (sicl-ast:body-ast ast))))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  
negative.code:   (with-accessors ((results results)
  		   (successors successors))
        context
      (let ((code (compile-function (sicl-ast:body-ast ast)))
  	  (next (if (= (length successors) 2)
  		    (cadr successors)
  		    (car successors))))
  