Partially persistent dynamic sets for history-sensitive heuristics