solver_printproblemruleinfo
solver_printproblemruleinfo(solv, solver_findproblemrule(solv, problem));
solver_printproblemruleinfo(solv, probr);
extern void solver_printproblemruleinfo(Solver *solv, Id rule);