return new TypedBDD(factory.ithVar(var), makeSet());
Set s = makeSet();   return new TypedBDD(factory.ithVar(var), s);
    public BDD ithVar(int var) {        // TODO domains?        return new TypedBDD(factory.ithVar(var), makeSet());    }