} catch (BDDException x) {
} catch (ReorderException x) {
    int bdd_ite(int f, int g, int h) {        int res;        int numReorder = 1;        CHECKa(f, bddfalse);        CHECKa(g, bddfalse);        CHECKa(h, bddfalse);        if (itecache == null) itecache = new OpCache3(cachesize); // ite_rec()        if (singlecache == null) singlecache = new OpCache1(cachesize); // not_rec()                again : for (;;) {            try {                INITREF();                if (numReorder == 0) bdd_disable_reorder();                res = ite_rec(f, g, h);                if (numReorder == 0) bdd_enable_reorder();            } catch (BDDException x) {                bdd_checkreorder();                numReorder--;                continue again;            }            break;        }        checkresize();        return res;    }