BddCache_reset(countcache);
    void bdd_operator_reset() {        BddCache_reset(applycache);        BddCache_reset(itecache);        BddCache_reset(quantcache);        BddCache_reset(appexcache);        BddCache_reset(replacecache);        BddCache_reset(misccache);    }