public void set_has_correct_content_after_removing_value(IntSet set, int value)
{
MutableIntSet editedSet = set.EditCopy();
int initialCount = editedSet.Count;
editedSet.Remove(value);
int finalCount = editedSet.Count;
Assert.IsFalse(editedSet.Contains(value));
Assert.IsTrue(finalCount == initialCount || finalCount + 1 == initialCount);
}