System.err.println("Warning! Quantifying domain that doesn't exist: "+domainNames(bdd1.dom));
out.println("Warning! Quantifying domain that doesn't exist: "+domainNames(bdd1.dom)); if (STACK_TRACES) new Exception().printStackTrace(out);
        public BDD forAll(BDD var) {            TypedBDD bdd1 = (TypedBDD) var;            Set newDom = makeSet();            newDom.addAll(dom);            if (!newDom.containsAll(bdd1.dom)) {                System.err.println("Warning! Quantifying domain that doesn't exist: "+domainNames(bdd1.dom));            }            newDom.removeAll(bdd1.dom);            return new TypedBDD(bdd.forAll(bdd1.bdd), newDom);        }