Update pseudocodeSortedMinimalCover