if (countcache == null) countcache = new OpCache2(cachesize);
if (countcache == null) countcache = new OpCacheD(cachesize);
    double bdd_pathcount(int r) {        CHECK(r);        miscid = CACHEID_PATHCOU;        if (countcache == null) countcache = new OpCache2(cachesize);                return bdd_pathcount_rec(r);    }