System.err.println("Warning! Overwriting domain that exists: "+d_to.getName());
out.println("Warning! Overwriting domain that exists: "+d_to.getName());
        public void replaceWith(BDDPairing pair) {            TypedBDDPairing tpair = (TypedBDDPairing) pair;            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();                if (!dom.contains(d_from)) {                    System.err.println("Warning! Replacing domain that doesn't exist: "+d_from.getName());                }                if (dom.contains(d_to) && !tpair.domMap.containsKey(d_to)) {                    System.err.println("Warning! Overwriting domain that exists: "+d_to.getName());                }            }            dom.removeAll(tpair.domMap.keySet());            dom.addAll(tpair.domMap.values());            bdd.replaceWith(tpair.pairing);        }