@Test
public void testSaturatedAddAll() {

	for(int i : TEST_BOUNDS) {
		BoundedSetFactory<String> bsf = new BoundedSetFactory<String>(i);
		BoundedSet<String> bs1 = boundedSet(bsf,0,i/2);
		BoundedSet<String> bs2 = boundedSet(bsf,i/2,i);
		BoundedSet<String> top = bsf.top();
		bs1.addAll(bs2);
		top.addAll(bs1);
		assert(bs1.isSaturated() == true);
		assert(bs1.getSize() == i+1);
		assert(top.equals(bs1));
		assert(bs1.equals(top));
	}		
}