{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"if"}]}
            if my_region_obligations.is_empty() {
            let my_region_obligations = self.take_registered_region_obligations();
                break;