SOLVER_TRANSACTION_DOWNGRADED
{ SOLVER_TRANSACTION_DOWNGRADED, "downgrade" },
case SOLVER_TRANSACTION_DOWNGRADED:
return SOLVER_TRANSACTION_DOWNGRADED;