{"ast_node_type":"other","tokens":[{"end":70,"kind":"keyword","start":0,"text":"//"}]}
            // regions. We want to find if that set is *equivalent* to
            // whose value is a set of CFG points and universal
            // any of the named regions found in the closure.