{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"if"}]}
        if idom[w] != semi[w] {
    for w in PreorderIndex::new(1)..PreorderIndex::new(reachable_vertices) {
            idom[w] = idom[idom[w]];