} catch (BDDException x) {
} catch (ReorderException x) {
    int bdd_exist(int r, int var) {        int res;        int numReorder = 1;        CHECKa(r, bddfalse);        CHECKa(var, bddfalse);        if (ISCONST(var)) /* Empty set */            return r;        if (quantcache == null) quantcache = new OpCache2(cachesize); // quant_rec()        if (orcache == null) orcache = new OpCache2(cachesize); // or_rec()                again : for (;;) {            if (varset2vartable(var) < 0) return bddfalse;            try {                INITREF();                quantid = (var << 3) | CACHEID_EXIST;                applyop = bddop_or;                if (numReorder == 0) bdd_disable_reorder();                res = quant_rec(r);                if (numReorder == 0) bdd_enable_reorder();            } catch (BDDException x) {                bdd_checkreorder();                numReorder--;                continue again;            }            break;        }        checkresize();        return res;    }