{"ast_node_type":"other","tokens":[{"end":36,"kind":"keyword","start":0,"text":"self.live_points(region)"}]}
            self.live_points(region)
        pretty_print_region_elements(
                .map(|p| RegionElement::Location(self.location_map.to_location(p))),