They usually generalize one identifier or statement at a time and re-run the search; if the search result degrades, they undo the generalization and try a different identifier or statement.
their generalization strategy is similar to the typical greedy search.