- make SOLVER_ERASE_SOLVABLE work