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