{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"NestedNormalizationGoals("}]}
                        NestedNormalizationGoals(
                        Certainty::Yes,
                            goals.into_iter().map(|(s, g, _)| (s, g)).collect(),