{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"universe"}]}
        universe
        self.type_checker.constraints.universe_causes.insert(universe, self.universe_info.clone());
    }