syntax_data: {"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // state at block entry.
context_before:         // Write the full dataflow state immediately after the terminator if it differs from the
context_after:         self.cursor.seek_to_block_end(block);