{"ast_node_type":"other","tokens":[{"end":20,"kind":"keyword","start":0,"text":"semi[w]"}]}
        semi[w] = w;
        // This loop computes the semi[w] for w.
        for v in graph.predecessors(pre_order_to_real[w]) {