{"ast_node_type":"variable","tokens":[{"end":68,"kind":"keyword","start":0,"text":"let"}]}
                let initial_num_var_values = state.var_values.len();
            Some(DebugSolver::CanonicalGoalEvaluationStep(state)) => {
                state.current_evaluation_scope().steps.push(WipProbeStep::NestedProbe(WipProbe {