Symbol: SOLVER_FLAG_NO_UPDATEPROVIDE