Use lexicographic list order for termination.