System.err.println("Warning! Quantifying domain that doesn't exist: "+domainNames(bdd2.dom));
out.println("Warning! Quantifying domain that doesn't exist: "+domainNames(bdd2.dom)); if (STACK_TRACES) new Exception().printStackTrace(out);
        public BDD relprod(BDD that, BDD var) {            TypedBDD bdd1 = (TypedBDD) that;            TypedBDD bdd2 = (TypedBDD) var;            Set newDom = makeSet();            newDom.addAll(dom);            newDom.addAll(bdd1.dom);            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.relprod(bdd1.bdd, bdd2.bdd), newDom);        }