The test cases now cover empty/size/add/remove/contains