SOLVER_TRANSACTION_UPGRADED
{ SOLVER_TRANSACTION_UPGRADED, "upgrade" },
case SOLVER_TRANSACTION_UPGRADED:
return SOLVER_TRANSACTION_UPGRADED;