/** Return true if this choice point could usefully be restarted. */
 public boolean isReady() {
   return generator.numResults() > resultIndex;
 }