{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"self.constraints.universe_causes.insert(u,"}]}
                self.constraints.universe_causes.insert(u, universe_info.clone());
            for u in (old_universe + 1)..=universe {
            }