anchor.diff:  		 (reduce #'append (mapcar #'cdr declarations)))))
   	  (setf new-env (augment-environment-with-declarations
   			 new-env canonicalized-dspecs)))
  -	(cleavir-ast:make-progn-ast
  +	(process-progn
   	 (append init-asts (convert-sequence forms new-env system)))))))
   
   ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  
positive.code: 		 (reduce #'append (mapcar #'cdr declarations)))))
  	  (setf new-env (augment-environment-with-declarations
  			 new-env canonicalized-dspecs)))
  	(cleavir-ast:make-progn-ast
  	 (append init-asts (convert-sequence forms new-env system)))))))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  
negative.code:       (let ((new-env (augment-environment-with-declarations
  		      env canonicalized-dspecs)))
  	(with-preserved-toplevel-ness
  	  (process-progn
  	   (convert-sequence forms new-env system)))))))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  