anchor.diff:    (destructuring-bind (bindings &rest body) (cdr form)
       (multiple-value-bind (declarations forms)
   	(cleavir-code-utilities:separate-ordinary-body body)
  -      (let* ((canonical-declarations
  +      (let* ((canonical-dspecs
   	       (cleavir-code-utilities:canonicalize-declaration-specifiers 
   		(reduce #'append (mapcar #'cdr declarations))))
   	     (variables (loop for binding in bindings
  
positive.code:   (destructuring-bind (bindings &rest body) (cdr form)
      (multiple-value-bind (declarations forms)
  	(cleavir-code-utilities:separate-ordinary-body body)
        (let* ((canonical-declarations
  	       (cleavir-code-utilities:canonicalize-declaration-specifiers 
  		(reduce #'append (mapcar #'cdr declarations))))
  	     (variables (loop for binding in bindings
  
negative.code: 	      for init-ast = (convert init old)
  	      do (setf ast
  		       (if (variable-is-special-p
  			    var canonical-dspecs env)
  			   (cleavir-ast:make-bind-ast var init-ast ast)
  			   (let ((lexical (cleavir-env:identity info)))
  			     (cleavir-ast:make-progn-ast 
  