A helpful diagram for debugging dataflow problems.
A pair of a basic block and an index into that basic blocks successors.
successors