{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
    // into idom[w]. It is known to be our 'relative dominator', which means
    // If idom[w] != semi[w] then we know that we've stored vertex y from above
    // that it's one of w's ancestors and has the same immediate dominator as w,