analyze_unsolvable_rule
analyze_unsolvable_rule(solv, solv->rules + solv->learnt_pool.elements[i], lastweakp, rseen);
analyze_unsolvable_rule(solv, r, &lastweak, &rseen);
analyze_unsolvable_rule(solv, r, &lastweak, &rseen);