anchor.diff:  (defmethod call-node-left ((self node2-not) (token add-token))
     (call-next-method self (make-clone-token (class-of token) token)))
   
  -(defmethod run-tests-vary-right ((self node2-not) left-token tree)
  -  (with-tree-iterator (key right-token tree)
  -    (when (or (not (has-tests-p self))
  -              (run-tests self left-token (get-top-fact right-token)))
  -      (increment-negation-count left-token)))
  +(defmethod pass-token-from-right ((self node2-not) left-token)
     (unless (is-negated-p left-token)
       (with-accessors ((engine get-engine)) self
         (let ((token (make-derived-token
  
positive.code: ;;; File: node2-not.lisp
  ;;; Description: Specialized two-input node for negated patterns.
  
  ;;; $Id: node2-not.lisp,v 1.3 2000/12/11 21:29:23 youngde Exp $
  
  (in-package :lisa)
  
  
negative.code:       (increment-negation-count token)))
    (values nil))
  
  (defmethod pass-token-from-left ((self node2-not) right-token left-token)
    (when (= (decrement-negation-count left-token) 0)
      (with-accessors ((engine get-engine)) self
        (let ((token (make-derived-token (class-of left-token)
  