{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//"}]}
        // be semidominated by w must have a preorder number exceeding w, so
        // vertex w, which we are guaranteed to have found: all vertices who can
        // they have been placed in the bucket.