{"ast_node_type":"other","tokens":[{"end":74,"kind":"keyword","start":0,"text":"obligation_tree_id_generator:"}]}
                obligation_tree_id_generator: (0..).map(ObligationTreeId),
                reused_node_vec: vec![],
                error_cache: Default::default(),