{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"DebugSolver::CanonicalGoalEvaluationStep(goal_evaluation_step),"}]}
                    DebugSolver::CanonicalGoalEvaluationStep(goal_evaluation_step),
                    DebugSolver::GoalEvaluation(goal_evaluation),
                ) => {