syntax_data: {"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                     // a clone of the dataflow state.
context_before:                     // `exit_state`, so pass it directly to `apply_switch_int_edge_effect` to save
context_after:                     analysis.apply_switch_int_edge_effect(