{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"self.regioncx.universal_regions().is_local_free_region(outlived_fr),"}]}
            self.regioncx.universal_regions().is_local_free_region(outlived_fr),
            self.regioncx.universal_regions().is_local_free_region(fr),
        );