{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"ids_info.term_for_bcb[bcb].expect(\"every"}]}
            ids_info.term_for_bcb[bcb].expect("every BCB in a mapping was given a term")
        let term = if covfun.is_used {
        } else {