solver_shrinkrules
extern void solver_shrinkrules(struct _Solver *solv, int nrules);
solver_shrinkrules(solv, initialnrules);