@Test
public void testUnsaturatedAdd() {

	for(int i : TEST_BOUNDS) {
		BoundedSetFactory<String> bsf = new BoundedSetFactory<String>(i);
		BoundedSet<String> bs = boundedSet(bsf,0,i-1);
		String t = getElement(i-1);
		bs.add(t);
		assert(bs.isSaturated() == false);
		assert(bs.getSize() == i);
		assert(! bsf.top().equals(bs));						
	}		
}