return replace0((BuDDyBDDPairing) pair);
BuDDyBDDPairing p = (BuDDyBDDPairing) pair; int b = replace0(_id, p._ptr); return new BuDDyBDD(b);
        public BDD replace(BDDPairing pair) {            return replace0((BuDDyBDDPairing) pair);        }