{"ast_node_type":"variable","tokens":[{"end":73,"kind":"keyword","start":0,"text":"let"}]}
        let first_terminator_kind = &bbs[first_target].terminator().kind;
        let (first_case_val, first_target) = target_iter.next().unwrap();
        // Check that destinations are identical, and if not, then don't optimize this block