Effects: Adds elements to c as if by:
c.insert(c.end(), first, last);
sorts the range of newly inserted elements with respect to compare
merges the resulting sorted range and
the sorted range of pre-existing elements into a single sorted range; and
finally erases all but the first element
from each group of consecutive equivalent elements.