anchor.diff:  
   (defmethod gtools:graph-type-label-test-predicate ((type (eql 'complex-graph)))
     (labels ((site-test (test y)
  -             (etypecase test
  -               (null t)
  -               (atom (typecase y
  -                       (atom (eql test y))
  -                       (list (find test y :test #'equal))))
  -               (cons
  -                (let ((test-labs (rest test)))
  -                  (ecase (first test)
  -                    (AND   (null (set-difference test-labs y
  -                                                 :test #'logical-test)))
  -                    (OR    (some (lambda (lab)
  -                                   (member lab test-labs))
  -                                 y :test #'equal))
  -                    (NOT   (not (site-test `(or ,@test-labs) y))))))))
  +             (or (eq test '*)
  +                 (etypecase test
  +                   (null t)
  +                   (atom (typecase y
  +                           (atom (eql test y))
  +                           (list (find test y :test #'equal))))
  +                   (cons
  +                    (let ((test-labs (rest test)))
  +                      (ecase (first test)
  +                        (AND   (null (set-difference test-labs y
  +                                                     :test #'logical-test)))
  +                        (OR    (some (lambda (lab)
  +                                       (member lab test-labs))
  +                                     y :test #'equal))
  +                        (NOT   (not (site-test `(or ,@test-labs) y)))))))))
   
              (value-test (test value)
                (typecase test
  
positive.code:   (:method ((m null)) location)
    (:method ((m symbol)) (|MONOMER.LOCATION-CLASS| (eval m)))
    (:method ((m monomer)) (|MONOMER.LOCATION-CLASS| m))
    (:method ((m cons)) (monomer-lclass (eval (fld-form-object m)))))
  
  (defgeneric monomer-sites (m)
    (:method ((m symbol)) (|MONOMER.SITES| (eval m)))
  
negative.code:                                 (keywordify elt)))
                              (rest x)))))
      (cond
       ((or (wildcard-binding-p x) (null x)) x)
       ((fld-form-p x) (fld-form-object x))
       ((consp x)
        (keywordify-logical-test 
         (if (logical-label-p (first x))
  