appex3cache = null;
    void bdd_operator_done() {        quantvarset = null;        supportSet = null;                singlecache = null;        replacecache = null;        andcache = null;        orcache = null;        applycache = null;        quantcache = null;        appexcache = null;        itecache = null;        countcache = null;        misccache = null;    }