{"ast_node_type":"variable","tokens":[{"end":46,"kind":"keyword","start":0,"text":"let"}]}
        let nodes_str = self.nodes_per_scc[*n]
    fn node_label(&'this self, n: &ConstraintSccIndex) -> dot::LabelText<'this> {
            .iter()