Added tests for int-set