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