anchor.diff:        test-make-var
         ((assert-equal '()       (make-var 'x 0))
          (assert-equal '(x . 1)  (make-var 'x 1))
  -       (assert-equal '(x . 2)  (make-var 'x 2))))
  +       (assert-equal '(x . 2)  (make-var 'x 2))
  +       ))
       (test
         test-var-simplify
         ((assert-equal '()       (var-simplify '(x . 0)))
  -       (assert-equal '(x . 1)  (var-simplify '(x . 1)))))
  +       (assert-equal '(x . 1)  (var-simplify '(x . 1)))
  +       ))
       (test
         test-sym
  -      ((assert-equal 'x  (sym (make-var 'x 1)))))
  +      ((assert-equal 'x  (sym (make-var 'x 1)))
  +       ))
       (test
         test-pwr
  -      ((assert-equal 1  (pwr (make-var 'x 1)))))
  +      ((assert-equal 1  (pwr (make-var 'x 1)))
  +       ))
       (test
         test-make-varlist
         ((assert-equal '()         (make-varlist '()))
          (assert-equal '(())       (make-varlist '((make-var 'x 0))))
          (assert-equal '((x . 1))  (make-varlist '((make-var 'x 1))))
          (assert-equal '((x . 1) (y . 1))
  -                     (make-varlist '((make-var 'x 1) (make-var 'y 1))))))
  +                     (make-varlist '((make-var 'x 1) (make-var 'y 1))))
  +       ))
       (test
         test-make-term
         ((assert-equal '()             (make-term 0 '()))
  
positive.code:        (assert-equal '(2 ((x . 1) (y . 1)))
                       (term+ (make-term 1 '((make-var 'x 1) (make-var 'y 1)))
                              (make-term 1 '((make-var 'x 1) (make-var 'y 1)))))
         ; Add more tests...
         ))
      (test
        test-varreduce
  
negative.code:        (assert-equal '((x . 2))  (varreduce '((x . 1) (x . 1))))
         (assert-equal '((x . 1) (y . 1))
                       (varreduce '((x . 1) (y . 1))))
         ))
      (test
        test-polyreduce
  