findproblemrule_internal
findproblemrule_internal(solv, solv->learnt_why.elements[rid - solv->learntrules], &lreqr, &lconr, &lsysr, &ljobr, rseen);
findproblemrule_internal(solv, idx, &reqr, &conr, &sysr, &jobr, &rseen);