syntax_data: {"ast_node_type":"other","tokens":[{"end":84,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                             // Matching transitions. Continue with successor states.
context_before:                             (Some(_), None) => Some(Answer::No(Reason::DstIsBitIncompatible)),
context_after:                             (Some(src_state_prime), Some(dst_state_prime)) => {