{"ast_node_type":"other","tokens":[{"end":79,"kind":"keyword","start":0,"text":"//"}]}
            // spantree edge along the way, add this node's physical counter to
            // Walk the spantree from `this.successor` back to `this`. For each
            // the counter expression of the node that claimed the spantree edge.