Symbol: SOLVER_FLAG_NO_INFARCHCHECK