{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"assert_ne!(state.probe_depth,"}]}
                assert_ne!(state.probe_depth, 0);
            Some(DebugSolver::CanonicalGoalEvaluationStep(state)) => {
                let num_var_values = state.current_evaluation_scope().initial_num_var_values;