solver_disablechoicerules
extern void solver_disablechoicerules(struct _Solver *solv, Rule *r);
solver_disablechoicerules(solv, solv->rules + lastweak);