if (VERIFY_ASSERTIONS) _assert(quantlast < LEVEL(n));
    int varset2vartable(int r) {        int n;        if (r < 2)            return bdd_error(BDD_VARSET);        quantvarsetID++;        if (quantvarsetID == INT_MAX) {            for (int i = 0; i < bddvarnum; ++i)                quantvarset[i] = 0;            quantvarsetID = 1;        }        for (n = r; n > 1; n = HIGH(n)) {            quantvarset[LEVEL(n)] = quantvarsetID;            quantlast = LEVEL(n);        }        return 0;    }