{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"if"}]}
            if !self.universal_regions.is_local_free_region(post_dom) {
            // there is no non-local result we can return.
                Some(post_dom)