SOLVER_FLAG_ALLOW_DOWNGRADE
{ SOLVER_FLAG_ALLOW_DOWNGRADE, "allowdowngrade", 0 },
case SOLVER_FLAG_ALLOW_DOWNGRADE: