{"ast_node_type":"other","tokens":[{"end":60,"kind":"keyword","start":0,"text":"dot::Id::new(format!(\"obligation_{index}\")).unwrap()"}]}
        dot::Id::new(format!("obligation_{index}")).unwrap()
    fn node_id(&self, index: &Self::Node) -> dot::Id<'_> {
    }