{"ast_node_type":"variable","tokens":[{"end":73,"kind":"keyword","start":0,"text":"let"}]}
        let (mut pos, mut neg): (Vec<_>, Vec<_>) = old.counter_terms[bcb]
        // counters into "positive" and "negative" lists for easier handling.
            .iter()