{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"nested_goals:"}]}
            nested_goals: Default::default(),
            search_graph: &mut search_graph,
            inspect: ProofTreeBuilder::new_maybe_root(generate_proof_tree),