appex3cache = null;
    public int setCacheSize(int newcachesize) {        int old = cachesize;        cachesize = bdd_prime_lte(cachesize);        singlecache = null;        replacecache = null;        andcache = null;        orcache = null;        applycache = null;        quantcache = null;        appexcache = null;        itecache = null;        countcache = null;        misccache = null;        return old;    }