SOLVER_FLAG_NO_INFARCHCHECK
{ SOLVER_FLAG_NO_INFARCHCHECK, "noinfarchcheck", 0 },
case SOLVER_FLAG_NO_INFARCHCHECK: