{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"DebugSolver::GoalEvaluation(goal_evaluation)"}]}
                DebugSolver::GoalEvaluation(goal_evaluation) => {
            match this {
                    goal_evaluation.encountered_overflow = true;