System.err.println("Warning! Comparing domain that doesn't exist: "+domainNames(bdd1.dom));
out.println("Warning! Comparing domain that doesn't exist: "+domainNames(bdd1.dom));
        public boolean equals(BDD that) {            TypedBDD bdd1 = (TypedBDD) that;            if (!dom.containsAll(bdd1.dom)) {                System.err.println("Warning! Comparing domain that doesn't exist: "+domainNames(bdd1.dom));            }            return bdd.equals(bdd1.bdd);        }