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. ///