solver_disablerule
solver_disablerule(solv, r);
solver_disablerule(solv, solv->rules + v);
solver_disablerule(solv, solv->rules + v);
solver_disablerule(solv, solv->rules + v);
solver_disablerule(solv, r);
solver_disablerule(solv, solv->rules + solv->bestrules + i);
solver_disablerule(solv, r);
solver_disablerule(solv, r);
solver_disablerule(solv, r);
solver_disablerule(solv, r);
solver_disablerule(solv, r);
solver_disablerule(solv, r);
solver_disablerule(solv, sr); /* disable feature rule */
solver_disablerule(solv, r);
solver_disablerule(solv, r);