System.err.println("Warning! Overwriting domain that exists: "+d_to.getName());
out.println("Warning! Overwriting domain that exists: "+d_to.getName());
        public BDD replace(BDDPairing pair) {            TypedBDDPairing tpair = (TypedBDDPairing) pair;            Set newDom = makeSet();            newDom.addAll(dom);            for (Iterator i = tpair.domMap.entrySet().iterator(); i.hasNext(); ) {                Map.Entry e = (Map.Entry) i.next();                BDDDomain d_from = (BDDDomain) e.getKey();                BDDDomain d_to = (BDDDomain) e.getValue();                System.out.println("Replace "+domainNames(dom)+", "+d_from+" -> "+d_to);                if (!dom.contains(d_from)) {                    System.err.println("Warning! Replacing domain that doesn't exist: "+d_from.getName());                    new Exception().printStackTrace();                }                if (dom.contains(d_to) && !tpair.domMap.containsKey(d_to)) {                    System.err.println("Warning! Overwriting domain that exists: "+d_to.getName());                    new Exception().printStackTrace();                }            }            newDom.removeAll(tpair.domMap.keySet());            newDom.addAll(tpair.domMap.values());            System.out.println("Result = "+domainNames(newDom));            return new TypedBDD(bdd.replace(tpair.pairing), newDom);        }