findallproblemrules_internal
findallproblemrules_internal(solv, solv->learnt_why.elements[rid - solv->learntrules], rules, rseen);
findallproblemrules_internal(solv, solv->problems.elements[2 * problem - 2], rules, &rseen);