GRADLEXREVGRADLEX TERM ORDER

Similar to gradlexgradlex term order, but using revgradlex term order for the second group.