Symbol: SOLVER_RULE_DISTUPGRADE