Fixed problem with canonizing Comparisons. Moved some code from
heuristic and addition_module to classes.
Fixed problem with canonizing Comparisons. Moved some code from
heuristic and addition_module to classes.