{"ast_node_type":"other","tokens":[{"end":9,"kind":"keyword","start":0,"text":"}"}]}
        }
            semi[w] = std::cmp::min(semi[w], semi[x]);
        // semi[w] is now semidominator(w) and won't change any more.