fn list_reachable( cfg: &DiGraphMap<BlockId, ()>, start: BlockId, ) -> HashMap<BlockId, usize>
List the nodes reachable from a starting point. We list the nodes and the depth (in the AST) at which they were found.