syntax_data: {"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"match"}]}
source_snippet:                         match (src_state_prime, dst_state_prime) {
context_before:                     |(_range, (src_state_prime, dst_state_prime))| {
context_after:                             // No matching transitions in `src`. Skip.