Replace context-walking edge-is-dead / block-is-certain functions with a walk in the particular places where it's necessary + copying to local scope to make later queries faster.