Symbol: solver_get_unneeded