anchor.diff:  
   ;;; Checks if iteration body is a proper list
   (defun body-must-be-proper-list (name body)
  -  (unless (proper-list-p body)
  +  (unless (cleavir-code-utilities:proper-list-p body)
       (error 'malformed-body
              :name name
              :datum body)))
  
positive.code: ;;;
  ;;; Utilities
  
  ;;; Check that an object is a proper list
  (defun proper-list-p (object)
    (or (null object)
        (and (consp object)
  	   (proper-list-p (cdr object)))))
  
  ;;; Checks if the binding var is a symbol
  (defun binding-var-must-be-symbol (name binding-var)
    (unless (symbolp binding-var)
  
negative.code:                   ;; do some syntax checking
                    (check-variable-clauses ',name variable-clauses)
                    (body-must-be-proper-list ',name body)
                    (unless (and (cleavir-code-utilities:proper-list-p end-test)
                                 (not (null end-test)))
                      (error 'malformed-end-test
                             :name ',name
  