anchor.diff:          // Preconditions
           checkNonNull "set" set
   
  -        set.MinElement
  +        set.MinimumElement
           |> retype
   
       /// Returns the lowest element in the set according to a signed integer comparison.
  
positive.code:         // Preconditions
          checkNonNull "set" set
  
          set.MinElementSigned
          |> retype
  
      /// Returns the highest element in the set according to an unsigned integer comparison.
  
negative.code:         // Preconditions
          checkNonNull "set" set
  
          set.MaximumElementSigned
          |> retype
  
      /// Computes the union of the two sets.
  