{"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"c,"}]}
                    c,
                    "{:?} ({:?}: {:?})",
                    self.constraint_sccs.scc(c.sup),