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