{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":")"}]}
                ) => {
                    DebugSolver::CanonicalGoalEvaluationStep(goal_evaluation_step),
                    goal_evaluation.final_revision = Some(goal_evaluation_step);