Symbol: SOLVER_FLAG_ADD_ALREADY_RECOMMENDED