BDD c = b.satOneSet(domains, zero);
BDD c = b.satOne(domains, zero);
                public Object next() {                    BDD c = b.satOneSet(domains, zero);                    b.applyWith(c.id(), diff);                    last = c;                    Set newDom = makeSet();                    newDom.addAll(dom);                    return new TypedBDD(c, newDom);                }