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