{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"counter_terms.iter().all(|terms|"}]}
            counter_terms.iter().all(|terms| !terms.is_empty()),
        debug_assert!(
            "after visiting all nodes, every node should have at least one term",