{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"uncanonicalized_goal:"}]}
            uncanonicalized_goal: self.uncanonicalized_goal,
        inspect::GoalEvaluation {
            orig_values: self.orig_values,