{"ast_node_type":"other","tokens":[{"end":37,"kind":"keyword","start":0,"text":"uncanonicalized_goal,"}]}
                uncanonicalized_goal,
            GoalEvaluationKind::Root => Some(WipGoalEvaluation {
                orig_values: orig_values.to_vec(),