added DegRevLex support