/** Reactivate this choice point to return new results. */
public void pump() {
if (context instanceof Generator) {
((Generator) context).pump(this);
} else {
// The top level iterator is in charge and will restore and run this choice point itself
}
}
