Symbol: SOLVER_WEAKENDEPS