{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"if"}]}
                if self.frame_idx() == old_stack && self.frame().loc == old_loc {
                // did a jump to another block.
                    span_bug!(terminator.source_info.span, "evaluating this call made no progress");