{"ast_node_type":"other","tokens":[{"end":38,"kind":"keyword","start":0,"text":"trace!(?nested_goals);"}]}
                trace!(?nested_goals);
                // Add the nested goals from normalization to our own nested goals.
                self.nested_goals.extend(nested_goals.into_iter().map(|(s, g)| (s, g, None)));