{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"Some(DebugSolver::CanonicalGoalEvaluationStep(state))"}]}
            Some(DebugSolver::CanonicalGoalEvaluationStep(state)) => {
            None => {}
                let initial_num_var_values = state.var_values.len();