unit tests for ISet