{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
        // counters into "positive" and "negative" lists for easier handling.
        // of terms starts or ends with a positive term, so partition the
        let (mut pos, mut neg): (Vec<_>, Vec<_>) = old.counter_terms[bcb]