return new TypedBDD(domain.ithVar(val), s);
return new TypedBDD(v, s);
        public BDD ithVar(long val) {            Set s = makeSet();            s.add(this);            return new TypedBDD(domain.ithVar(val), s);        }