syntax_data: {"ast_node_type":"variable","tokens":[{"end":84,"kind":"keyword","start":0,"text":"if"}]}
source_snippet:             if let Some(dst_state_prime) = self.dst.get_uninit_edge_dst(dst_state) {
context_before:             // extension: `size_of(Src) <= size_of(Dst)`
context_after:                 self.answer_memo(cache, src_state, dst_state_prime)