{"ast_node_type":"other","tokens":[{"end":24,"kind":"keyword","start":0,"text":"claiming_node:"}]}
    claiming_node: Node,
    /// that counter is added to the claiming node's counter expression.
    /// Supernode at the other end of this spantree edge. Transitively points