{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"counter_terms:"}]}
    counter_terms: IndexVec<Node, Vec<CounterTerm<Node>>>,
    /// initially empty, and will be filled in as relevant nodes are visited.
}