changed solver to count number of rule applications occuring in a solution
added rule params for addCommTerms
added rule params for fracCancel