Fixing Sorting Universes in a world where le and lt constraints may be
redundant in canonical arcs.