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