{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"//"}]}
            // there is no non-local result we can return.
            // If the mutual immediate postdom is not local, then
            if !self.universal_regions.is_local_free_region(post_dom) {