@Test
public void testTop() {

	for(int i : TEST_BOUNDS) {
		BoundedSetFactory<String> bsf = new BoundedSetFactory<String>(i);
		assert(bsf.top().isSaturated());
		assert(bsf.top().getSize() == i+1);
		try {
			bsf.top().getSet();
			fail("Expected failure: top().getSet()");				
		} catch(Error e) {
			
		}
	}
}