anchor.diff:      :initform '() 
       ;; This reader is the one that the AMOP specifies.
       :reader generic-function-methods
  -    ;; Additional reader.  FIXME: explain why this one is needed.    
  +    ;; Additional reader.
       :reader gf-methods
       :writer (setf gf-methods))
      ;; We maintain a CALL HISTORY of the generic function.  This call
  
positive.code: 
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  ;;; FUNCALLABLE-STANDARD-CLASS.
  
  (defclass funcallable-standard-class (class)
    ((%direct-default-initargs 
      :initform '()
      :initarg :direct-default-initargs
      :reader class-direct-default-initargs
      ;; Additional reader; see remark above.
      :reader direct-default-initargs)
     (%direct-slots 
      :initarg :direct-slots
      :reader direct-slots
      :reader class-direct-slots
      :writer (setf c-direct-slots))
     (%direct-superclasses 
      ;; This slot has no initform and no initarg, because it is set by
      ;; the :after method on INITIALIZE-INSTANCE using the
      ;; :direct-superclasses initarg.
      :reader class-direct-superclasses
      :writer (setf c-direct-superclasses))
     (%documentation 
      :accessor c-documentation)
     (%finalized-p 
      :initform nil 
      :reader class-finalized-p
      :writer (setf c-finalized-p))
     (%precedence-list 
      :initform '() 
      :reader class-precedence-list
      :writer (setf c-precedence-list))
     (%default-initargs 
      :reader class-default-initargs
      ;; Additional reader; see remark above.
      :reader default-initargs
      :writer (setf c-default-initargs))
     ;; For some reason, this accessor is not called
     ;; class-effective-slots.
     (%effective-slots 
      :initform '() 
      :reader class-slots
      ;; Additional reader; see remark above.
      :reader effective-slots
      :writer (setf c-slots))
     (%prototype
      :reader class-prototype
      :writer (setf c-prototype))
     (%dependents
      :initform '()
      :accessor dependents)))
  
  ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  ;;;
  
negative.code:     :writer (setf c-precedence-list))
     (%default-initargs 
      :reader class-default-initargs
      ;; Additional reader
      :reader default-initargs
      :writer (setf c-default-initargs))
     (%effective-slots 
      :initform '() 
      :reader class-slots
      ;; Additional reader
      :reader effective-slots
      :writer (setf c-slots))
     (%prototype
  