syntax_data: {"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"&mut"}]}
source_snippet:                         &mut data,
context_before:                     analysis.apply_switch_int_edge_effect(
context_after:                         exit_state,