{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    //  * idom[w] is an ancestor of semi[w] (i.e., idom[w] may equal semi[w])
    // An immediate dominator of w (idom[w]) is a vertex v where v dominates w