{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"for"}]}
        for v in graph.predecessors(pre_order_to_real[w]) {
        semi[w] = w;
            // TL;DR: Reachable vertices may have unreachable predecessors, so ignore any of them.