BDDDomain d = whichDomain(var);
    public BDD nithVar(int var) {        BDDDomain d = whichDomain(var);        Set s = makeSet();        if (d != null) s.add(d);        return new TypedBDD(factory.nithVar(var), makeSet());    }