Removing Pervasives.compare in Termdn.