SOLVER_SOLUTION_DISTUPGRADE
if (sourceId == SOLVER_SOLUTION_DISTUPGRADE) {
queue_push(solutionq, SOLVER_SOLUTION_DISTUPGRADE);
queue_push(solutionq, SOLVER_SOLUTION_DISTUPGRADE);
else if (p == SOLVER_SOLUTION_DISTUPGRADE)
else if (p == SOLVER_SOLUTION_DISTUPGRADE)