Im implementing a bag data structure that contains chars
Im storing all elements in an array, called elems, and i have a sequence as a ghost variable, called contents
