unit tests for ISet

Also add testContains_whenEmpty