Visit the blocks of the graph in reverse order, successors before predecessors, ignoring backward branches.