{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"//"}]}
    // this is both the minimum of the universes for every region that is a
    // For each SCC S, track the minimum universe that flows into it. Note that
    // member of the SCC, but also if you have `R1: R2`, then the universe of