{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"CovTerm::Zero"}]}
            CovTerm::Zero => Self::ZERO,
        match term {
            CovTerm::Counter(id) => Self::counter_value_reference(id),