this.delRef();
this.free();
        protected void finalize() throws Throwable {            super.finalize();            if (USE_FINALIZER) {                if (false && _index >= 0) {                    System.out.println("BDD not freed! "+System.identityHashCode(this));                }                this.delRef();            }        }