Term enumerations are always ordered by Term.compareTo(). Each term in /// the enumeration is greater than all that precede it. ///
Returns true iff there is such /// an entry.
Behaves as if written:
/// public boolean skipTo(Term target) {
/// do {
/// if (!next())
/// return false;
/// } while (target > term());
/// return true;
/// }
///
/// Some implementations are considerably more efficient than that.
///