{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    // a unique immediate dominator.)
    // A semidominator for a given vertex w (semi[w]) is the vertex v with minimum