anchor.diff:  	      (nil-fill (cdr results) (car successors)))))
         (2 (if (null results)
   	     (if (null (sicl-ast:value ast))
  -		 (cadr successors)
  -		 (car successors))
  +		 (car successors)
  +		 (cadr successors))
   	     (sicl-mir:make-assignment-instruction
   	      (sicl-mir:make-constant-input (sicl-ast:value ast))
   	      (car results)
   	      (if (null (sicl-ast:value ast))
  -		  (cadr successors)
  -		  (car successors))))))))
  +		  (car successors)
  +		  (cadr successors))))))))
   
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
   ;;;
  
positive.code: 			     temp result next)))
  	     ;; Before assigning to the results, check the
  	     ;; types of the values.
  	     (loop for type in types
  		   for temp in temps
  		   do (setf next (make-type-check type temp next)))
  	     next)))
  	(2
  	 (if (null results)
  
negative.code: 		  (list temp2
  			(sicl-mir:make-constant-input
  			 (sicl-ast:type-specifier ast)))
  		  (list false true)))))))
        (1 (if (null results)
  	     (progn (warn "test compiled in a context with no results")
  		    (car successors))
  