out.println(domainNames(dom)+" "+opr+" "+domainNames(bdd1.dom)+" / "+domainNames(bdd2.dom)+" = "+domainNames(newDom));
        public BDD applyAll(BDD that, BDDOp opr, BDD var) {            TypedBDD bdd1 = (TypedBDD) that;            Set newDom = makeSet();            newDom.addAll(dom);            applyHelper(newDom, this, bdd1, opr);            TypedBDD bdd2 = (TypedBDD) var;            if (!newDom.containsAll(bdd2.dom)) {                System.err.println("Warning! Quantifying domain that doesn't exist: "+domainNames(bdd2.dom));            }            newDom.removeAll(bdd2.dom);            return new TypedBDD(bdd.applyAll(bdd1.bdd, opr, bdd2.bdd), newDom);        }