anchor.diff:  
           set.MinElementSigned
   
  -    //
  +    /// Returns the highest element in the set according to an unsigned integer comparison.
       [<CompiledName("MaxElement")>]
       let inline maxElement (set : IntSet) : int =
           // Preconditions
  
positive.code: 
          set.Contains (int key)
  
      /// Computes the union of the two sets.
      [<CompiledName("Union")>]
      let inline union (set1 : TagSet<'Tag>) (set2 : TagSet<'Tag>) : TagSet<'Tag> =
  
negative.code: 
          set.MaxElement
  
      /// Returns the highest element in the set according to a signed integer comparison.
      [<CompiledName("MaxElementSigned")>]
      let inline maxElementSigned (set : IntSet) : int =
          // Preconditions
  