{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
            // Given such a vertex y, semi[y] <= semi[v] and idom[y] = idom[v].
            //
            // If semi[y] = semi[v], though, idom[v] = semi[v].