{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"//"}]}
    // so check if the location is dominated by R.successor. If so,
    // The reservation starts *on exiting* the reservation block,
    // this point falls in between the reservation and location.