AbelianGroupSolver cleanup