} catch (BDDException x) {
} catch (ReorderException x) {
    int bdd_appall(int l, int r, int opr, int var) {        int res;        int numReorder = 1;        CHECKa(l, bddfalse);        CHECKa(r, bddfalse);        CHECKa(var, bddfalse);        if (opr < 0 || opr > bddop_invimp) {            bdd_error(BDD_OP);            return bddfalse;        }        if (var < 2) /* Empty set */            return bdd_apply(l, r, opr);        switch (opr) {            case bddop_or:                if (orcache == null) orcache = new OpCache2(cachesize); // or_rec()                break;            default:                if (applycache == null) applycache = new OpCache2(cachesize); // apply_rec()                break;        }        if (appexcache == null) appexcache = new OpCache3(cachesize); // appquant_rec()        if (andcache == null) andcache = new OpCache2(cachesize); // and_rec()        if (quantcache == null) quantcache = new OpCache2(cachesize); // quant_rec()                again : for (;;) {            if (varset2vartable(var) < 0)                return bddfalse;            try {                INITREF();                applyop = bddop_and;                appexop = opr;                appexid = (var << 7) | (appexop << 3) | CACHEID_APPAL;                quantid = appexid;                if (numReorder == 0) bdd_disable_reorder();                res = appquant_rec(l, r);                if (numReorder == 0) bdd_enable_reorder();            } catch (BDDException x) {                bdd_checkreorder();                numReorder--;                continue again;            }            break;        }        checkresize();        return res;    }