{"ast_node_type":"variable","tokens":[{"end":75,"kind":"keyword","start":0,"text":"let"}]}
        let region_assumptions = self.take_registered_region_assumptions();
        let region_obligations = self.take_registered_region_obligations();
        debug!(?region_obligations);