Symbol: SOLVER_ERASE