anchor.diff:  
   
   ;;;
  -;;; PARSE-WILDCARD-MONOMER-DESCRIPTION for [* ...] monomers
  -;;;
  -(defun parse-wildcard-monomer-description (monomer bindings binding-table offset)
  +;;; PARSE-SPECIAL-MONOMER-DESCRIPTION for [*/NIL ...] monomers
  +;;;
  +(defun parse-special-monomer-description (monomer bindings binding-table offset)
     (flet ((make-label (i &optional site-test (value-test nil value-test-p))
                (let ((sindex      (- i offset 1))
                      (value-test  (normalize-test value-test 'or)))
  
positive.code:          finally (return (values (list* monomer site-labels)
                                   (1+ i))))))
  
  (defun normalize-test (x &optional (logical-op 'and))
    (labels ((keywordify-logical-test (x)
               (list* (first x) 
  
negative.code:                                  offset
                                   patternp)
    "Given a description of the form (monomer b1 b2 b3...)
     RETURNS: (MONOMER SITE/VALUE-LABELS), PATTERN-P
     Where SITE- and VALUE-LABELS are labels for the graph,
           BINDING-TABLE is a hash-table mapping binding vars to lists pairing sites offsets
                       with either other site offsets or values,
  