anchor.diff:              (case (apply #'handle-case% (cdr form)))
               (the (string-capitalize (format nil "~A" (third form))))
               (tuple (handle-tuple% (cdr form)))
  -            (@ (apply #'handle-funcall% (cdr form)))))))
  +            (asserts (handle-asserts% (cdr form)))
  +            (@ (apply #'handle-funcall% (cdr form)))
  +            (t (error "Unknown grammar node: ~S" (car form)))))))
   
   (defun imports->mlw (import-list)
     (format nil "~{~&use import ~A~}~%"
  
positive.code: (defun handle-infix% (name args)
    (format nil (format nil "~~{~~A~~^ ~(~A~) ~~}"
                        name)
            (mapcar #'clir->mlw args)
            ))
  
  (defun handle-replacement-funcall% (name args)
    (flet ((is-array-access (fname)
  
negative.code: (defun handle-function-definition% (&rest args)
    (apply #'handle-function-definition%% "let" args))
  
  (defun handle-asserts% (args)
    (let ((formula (first args))
          (body (second args)))
      (format nil
              "~@<~{assert { ~A };~:@_~:}~A~:>"
              (mapcar #'clir-formula-to-string formula)
              (clir->mlw body))))
  
  (defmacro with-assertions ((pre-post-list function-body) &body body)
    (let ((assertions (gensym)))
      `(let ((,assertions (get-assertions ,function-body)))
  