DSE: Poking holes into a SetVector is expensive, avoid it if possible.