anchor.diff:        (let ((new-env (augment-environment-with-declarations
   		      env canonicalized-dspecs)))
   	(with-preserved-toplevel-ness
  -	  (cleavir-ast:make-progn-ast
  +	  (process-progn
   	   (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: 		 (reduce #'append (mapcar #'cdr declarations)))))
  	  (setf new-env (augment-environment-with-declarations
  			 new-env canonicalized-dspecs)))
  	(process-progn
  	 (append init-asts (convert-sequence forms new-env system)))))))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  