Let the pareto queue return only the single first element

Returning more than one element destroys the label setting property.
Use a lexicographic comparator in our priority queue

The lexicographic comparator defines a total order with the property
that a minimal label is pareto optimal among all labels.