{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
            //  * semidominators of u such that u > w and there exists (v, w)
            //  * direct predecessors of w with preorder number less than w
            //    such that u *> v