public BDD support() {  Set newDom = makeSet(); newDom.addAll(dom); return new TypedBDD(bdd.support(), newDom);
public BDDVarSet support() { Set newDom = makeSet(dom); return new TypedBDDVarSet(bdd.support(), newDom);
        public BDD support() {            // TODO How does this change the domains?            Set newDom = makeSet();            newDom.addAll(dom);            return new TypedBDD(bdd.support(), newDom);        }