{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"//"}]}
    // For each vertex w (which is not the root),
    //
    //  * semi[w] is a proper ancestor of the vertex w (i.e., semi[w] != w)