System.err.println("Warning! Set domain that already exists: "+p2.getName());
out.println("Warning! Set domain that already exists: "+p2.getName());
        public void set(BDDDomain p1, BDDDomain p2) {            if (domMap.containsValue(p2)) {                System.err.println("Warning! Set domain that already exists: "+p2.getName());            }            domMap.put(p1, p2);            pairing.set(p1, p2);        }