{"ast_node_type":"other","tokens":[{"end":55,"kind":"keyword","start":0,"text":"//"}]}
            //   are multiple, we pick one arbitrarily)
            // * `succ_bound`: placeholder `P` that the successors must outlive, if any (if there
            let mut scc1_universe = self.scc_universes[scc1];