syntax_data: {"ast_node_type":"variable","tokens":[{"end":48,"kind":"keyword","start":0,"text":"while"}]}
source_snippet:         while let Some(bb) = dirty_queue.pop() {
context_before:         let mut state = self.bottom_value(body);
context_after:             // Set the state to the entry state of the block. This is equivalent to `state =