anchor.diff:         (assert-equal '(3 ((x . 2)))  ((term*-out (make-term 3 '((make-var 'x 1))))
                                         (make-term 1 '((make-var 'x 1)))))
          (assert-equal '(4 ((x . 1) (y . 1)))
  -                     ((term*-out (make-term 2 '((make-var 'x 1))))
  -                                 (make-term 2 '((make-var 'y 1)))))
  +                     ((term*-out (make-term 2 '((make-var 'y 1))))
  +                                 (make-term 2 '((make-var 'x 1)))))
  +       ))
  +    (test
  +      test-termnegate
  +      ((assert-equal '(-1 ((x . 1)))  (termnegate (make-term 1 '((make-var 'x 1)))))
  +       (assert-equal '(1  ((x . 1)))  (termnegate (make-term -1 '((make-var 'x 1)))))
          ))
       (test
         test-varlist*
  
positive.code:        (assert-equal '((x . 1) (y . 1))
                       (varlist* '((x . 1)) '((y . 1))))
         ))
      ))
  
negative.code:                             (make-term 2 '((make-var 'y 1)))))
         ))
      (test
        test-term*-out
        ((assert-equal '(1 ((x . 1)))  ((term*-out (make-term 1 '()))
                                        (make-term 1 '((make-var 'x 1)))))
  