{"ast_node_type":"other","tokens":[{"end":33,"kind":"keyword","start":0,"text":"bx.unreachable();"}]}
                bx.unreachable();
            mir::TerminatorKind::Unreachable => {
                MergingSucc::False