Make DSE only scan blocks that are reachable from the entry