* src/misc/accconv.cc (as_positive_product): Use a small loop instead
of calling bdd_satone().