2
The deļ¬nition of the revlex term order changed for version 2.2.