Finished debugging CombineLikeTerms. Solver still has a bug.