Remove obsolete function sorter

Function ``sorter`` is obsolete, as it isn't used anywhere anymore. I think we should remove it.