{"ast_node_type":"variable","tokens":[{"end":93,"kind":"keyword","start":0,"text":"if"}]}
                if let Some(universal_region) = self.definitions[upper_bound].external_name {
                let upper_bound = self.approx_universal_upper_bound(vid);
                    return universal_region;