{"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":")"}]}
    ) -> bool {
        fr2: RegionVid,
        debug!("provides_universal_region(r={:?}, fr1={:?}, fr2={:?})", r, fr1, fr2);