{"ast_node_type":"variable","tokens":[{"end":39,"kind":"keyword","start":0,"text":"let"}]}
    let empty_unreachable_blocks = body
    let reachable = traversal::reachable_as_bitset(body);
        .basic_blocks