public void restrictWith(BDD var) {
public BDD restrictWith(BDD var) {
        public void restrictWith(BDD var) {            TypedBDD bdd1 = (TypedBDD) var;            if (!dom.containsAll(bdd1.dom)) {                out.println("Warning! Restricting domain that doesn't exist: "+domainNames(bdd1.dom));                if (STACK_TRACES)                    new Exception().printStackTrace(out);            }            if (bdd1.bdd.satCount(bdd1.getDomains()) > 1.0) {                out.println("Warning! Using restrict with more than one value");                if (STACK_TRACES)                    new Exception().printStackTrace(out);            }            dom.removeAll(bdd1.dom);            bdd.restrictWith(bdd1.bdd);        }