anchor.diff:  (defgeneric rete-remove (instans subj pred obj graph)
     (:method ((this instans) subj pred obj graph)
       (if (member :rete-remove (rule-instance-queue-report-p (instans-rule-instance-queue this)))
  -	(format (instans-default-output this) "~%Rete remove from ~A ~A ~A ~A~%"
  +	(format (instans-default-output this) "~&Rete remove from ~A ~A ~A ~A~%~%"
   		 (if graph (sparql-value-to-string graph :instans this) "DEFAULT")
   		 (sparql-value-to-string subj :instans this)
   		 (sparql-value-to-string pred :instans this)
  
positive.code: 			  ((eq func #'add-beta-token) :add-beta-token)
  			  ((eq func #'remove-beta-token) :remove-beta-token)
  			  (t (error* "Unknown function ~S here" func)))))
  	   (when reportp (format output "~%calling successors of ~A using function ~A~%" node func))
  	   (loop for succ in (node-succ node)
  		 when reportp do (format output "~%  ~(~A~) ~A~%" op succ)
  		 do (funcall func succ token nil))
  	   (when reportp (format output "~%called successors of ~A using function ~A~%" node func))))
  	(t
  	 (funcall func (car stack) token (cdr stack)))))
  
  
negative.code: 	       (setf (rule-instance-queue-tail queue) prev))
  	     (incf (rule-instance-queue-remove-count queue))
  	     (if (member :queue (rule-instance-queue-report-p (instans-rule-instance-queue (node-instans node))))
  		 (report-rule-op queue "Removed existing" rule-instance))
  	     (return :found))
  	finally (progn
  		  (if (member :queue (rule-instance-queue-report-p (instans-rule-instance-queue (node-instans node))))
  		      (report-rule-op queue "Tried to remove non-existing" rule-instance))
  		  (return :not-found))))
  
  (defun rule-instance-queue-execute-instance (queue rule-instance)
    (let ((node (rule-instance-node rule-instance))
  	(token (rule-instance-token rule-instance))
  	(rule-types (rule-instance-queue-report-p queue)))
      (cond ((typep node 'select-node)
  	   (if (member :select rule-types) (report-rule-op queue "Executing" rule-instance))
  	   (incf (rule-instance-queue-select-count queue)))
  	  ((typep node 'ask-node)
  	   (if (member :ask rule-types) (report-rule-op queue "Executing" rule-instance))
  	   (incf (rule-instance-queue-ask-count queue)))
  	  ((typep node 'describe-node)
  	   (if (member :describe rule-types) (report-rule-op queue "Executing" rule-instance))
  	   (incf (rule-instance-queue-describe-count queue)))
  	  ((typep node 'modify-node)
  	   (if (member :modify rule-types) (report-rule-op queue "Executing" rule-instance))
  	   (incf (rule-instance-queue-modify-count queue)))
  	  ((typep node 'construct-node)
  	   (if (member :construct rule-types) (report-rule-op queue "Executing" rule-instance))
  	   (incf (rule-instance-queue-construct-count queue)))
  	  (t
  	   (error* "Illegal kind of node ~S" node)))
  