{"ast_node_type":"other","tokens":[{"end":56,"kind":"keyword","start":0,"text":"pub"}]}
    pub expressions: IndexVec<ExpressionId, Expression>,
    pub term_for_bcb: IndexVec<BasicCoverageBlock, Option<CovTerm>>,
}