{"ast_node_type":"other","tokens":[{"end":6,"kind":"keyword","start":0,"text":"//"}]}
    //
    // found in various papers, including one cited at the top of this file).
    // For each vertex w (which is not the root),