if (appex3cache != null) appex3cache.reset();
    void bdd_operator_reset() {        if (singlecache != null)            singlecache.reset();        if (replacecache != null)            replacecache.reset();        if (andcache != null)            andcache.reset();        if (orcache != null)            orcache.reset();        if (applycache != null)            applycache.reset();        if (quantcache != null)            quantcache.reset();        if (appexcache != null)            appexcache.reset();        if (itecache != null)            itecache.reset();        if (countcache != null)            countcache.reset();        if (misccache != null)            misccache.reset();    }