{"ast_node_type":"other","tokens":[{"end":83,"kind":"keyword","start":0,"text":"//"}]}
                // Add the nested goals from normalization to our own nested goals.
                )?;
                trace!(?nested_goals);