anchor.diff:  		  (list temp2
   			(sicl-mir:make-constant-input
   			 (sicl-ast:type-specifier ast)))
  -		  (list false true)
  -		  (sicl-ast:type-specifier ast)))))))
  +		  (list false true)))))))
         (1 (if (null results)
   	     (progn (warn "test compiled in a context with no results")
   		    (car 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: 	 ;; THE-AST.  For now, do what we are allowed to do according to
  	 ;; the HyperSpec (i.e., don't check the types).  Eventually we
  	 ;; hope to implement a better solution.
  	 (compile-ast form-ast context))
  	(1
  	 (let* ((temp-count (max (length results) (length type-asts)))
  		(temps (make-temps (make-list temp-count))))
  	   (let ((next (car successors)))
  	     ;; The last actions to take are to assign the temps to
  