A number of shrink heuristics.