{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"self.region_value_str(sup_region),"}]}
            self.region_value_str(sup_region),
            "sup_region's value = {:?} universal={:?}",
            self.universal_regions().is_universal_region(sup_region),