{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
        // is a free region, it will outlive the points. But we can
        // lower-bound free regions `{LB}`. As each choice region `O`
        // only consider the option `O` if `O: LB`.