public AllSatIterator(BDD r) { this(r, false);
protected AllSatIterator(BDDFactory factory, boolean level) { f = factory; useLevel = level;
        public AllSatIterator(BDD r) {            this(r, false);        }