{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"DebugSolver::Root"}]}
                DebugSolver::Root => *this = *goal_evaluation.state.unwrap(),
            match this {
                DebugSolver::CanonicalGoalEvaluationStep(_) => {