if (CACHESTATS > 0) addShutdownHook(f);
    public static BDDFactory init(int nodenum, int cachesize) {        BDDFactory f = new MicroFactory();        f.initialize(nodenum, cachesize);        return f;    }