{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"ecx.inspect.probe_final_state(ecx.delegate,"}]}
        ecx.inspect.probe_final_state(ecx.delegate, ecx.max_input_universe);
        let result = f(&mut ecx, input.goal);
        canonical_goal_evaluation.goal_evaluation_step(ecx.inspect);