{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":".iter()"}]}
            .iter()
        let (mut pos, mut neg): (Vec<_>, Vec<_>) = old.counter_terms[bcb]
            // Filter out any BCBs that were removed by MIR opts;