INSTANCE.initialize(nodenum, cachesize);
INSTANCE.initialize(nodenum/8, cachesize);
    public static BDDFactory init(int nodenum, int cachesize) {        if (INSTANCE != null) {            throw new InternalError("Error: CUDDFactory already initialized.");        }        INSTANCE = new CUDDFactory();        INSTANCE.initialize(nodenum, cachesize);        return INSTANCE;    }