supportSize = 0;
    void bdd_operator_init(int cachesize) {        if (false) {            applycache = BddCacheI_init(cachesize);            itecache = BddCacheI_init(cachesize);            quantcache = BddCacheI_init(cachesize);            appexcache = BddCacheI_init(cachesize);            replacecache = BddCacheI_init(cachesize);            misccache = BddCacheI_init(cachesize);            countcache = BddCacheD_init(cachesize);        }        quantvarsetID = 0;        quantvarset = null;        cacheratio = 0;        supportSet = null;    }