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