@Test
public void testUnsaturatedAddAll() {

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