{"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":"if"}]}
        if !reachable.contains(orig_bb) {
        let orig_bb = BasicBlock::new(orig_index);
            orig_index += 1;