A BlockOrder for visiting the blocks of a CFG in
the order they would be visited in a depth first search
of the reversed CFG. This is the most efficient visitation
order for backwards dataflow analyses.
See Also:BlockOrder See Also:ReverseDepthFirstSearch See Also:CFG See Also:BasicBlock