supportSize = 0;
    void bdd_operator_done() {        if (quantvarset != null) {            free(quantvarset);            quantvarset = null;        }        BddCache_done(applycache); applycache = null;        BddCache_done(itecache); itecache = null;        BddCache_done(quantcache); quantcache = null;        BddCache_done(appexcache); appexcache = null;        BddCache_done(replacecache); replacecache = null;        BddCache_done(misccache); misccache = null;        BddCache_done(countcache); countcache = null;        if (supportSet != null) {            free(supportSet);            supportSet = null;        }    }