{"ast_node_type":"variable","tokens":[{"end":74,"kind":"keyword","start":0,"text":"let"}]}
                let op = if is_reversed { Op::Subtract } else { Op::Add };
                    self.span_edges[curr].as_ref().unwrap();
                self.counter_terms[claiming_node].push(CounterTerm { node: this, op });