optimizing contradiction and valid_equation features
made addCommonTerms ground more efficiently
more simplifications to addCommTerms
removed redundancy in sameCoef definition
removed redundancy in sameCoef definition