return this;
        public void applyWith(BDD that, BDDOp opr) {            TypedBDD bdd1 = (TypedBDD) that;            applyHelper(dom, this, bdd1, opr);            bdd.applyWith(bdd1.bdd, opr);        }