{"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"self.scc_universes[scc1]"}]}
            self.scc_universes[scc1] = scc1_universe;
            // Update minimum universe of scc1.