anchor.diff:    "The DWIM checking operator.
   
   If TEST returns a true value a test-passed result is generated,
  -otherwise a test-failure result is generated and the reason,
  -unless REASON-ARGS is provided, is generated based on the form of
  -TEST:
  +otherwise a test-failure result is generated. The reason, unless
  +REASON-ARGS is provided, is generated based on the form of TEST:
   
    (predicate expected actual) - Means that we want to check
    whether, according to PREDICATE, the ACTUAL value is
  
positive.code:         (list-match-case test
            ((not (?predicate ?expected ?actual))
             (process-entry ?predicate ?expected ?actual t)
             (setf default-reason-args (list "~S was ~S to ~S" a `',?predicate e)))
            ((not (?satisfies ?value))
             (setf bindings (list (list v ?value))
                   effective-test `(not (,?satisfies ,v))
                   default-reason-args (list  "~S satisfied ~S" v `',?satisfies)))
            ((?predicate ?expected ?actual)
             (process-entry ?predicate ?expected ?actual)
             (setf default-reason-args (list "~S was not ~S to ~S" a `',?predicate e)))
            ((?satisfies ?value)
             (setf bindings (list (list v ?value))
                   effective-test `(,?satisfies ,v)
                   default-reason-args (list "~S did not satisfy ~S" v `',?satisfies)))
            (?_
             (setf bindings '()
                   effective-test test
                   default-reason-args (list "No reason supplied")))))
        `(let ,bindings
           (if ,effective-test
               (add-result 'test-passed :test-expr ',test)
  
negative.code:  (predicate value) - Means that we want to ensure that VALUE
   satisfies PREDICATE.
  
   Wrapping the TEST form in a NOT simply preducse a negated reason
   string."
    (assert (listp test)
            (test)
            "Argument to IS must be a list, not ~S" test)
  