anchor.diff:                                                            (make-var 'y 1))))
                              (make-term 2 '((make-var 'x 1)
                                             (make-var 'y 1)))))
  -       ; Add more tests...
          ))
       (test
         test-var*
         ((assert-equal '(x . 2)  (var* (make-var 'x 1) (make-var 'x 1)))
  -       (assert-equal '(x . 3)  (var* (make-var 'x 2) (make-var 'x 1)))))
  +       (assert-equal '(x . 3)  (var* (make-var 'x 2) (make-var 'x 1)))
  +       ))
       (test
         test-term+
         ((assert-equal '(2 ())         (term+ (make-term 1 '()) (make-term 1 '())))
  
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
  