return simplify0((BuDDyBDD) d);
BuDDyBDD c = (BuDDyBDD) d; int b = simplify0(_id, c._id); return new BuDDyBDD(b);
        public BDD simplify(BDD d) {            return simplify0((BuDDyBDD) d);        }