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