diff --git a/testcases/SetOperations.scala b/testcases/SetOperations.scala
new file mode 100644
index 0000000000000000000000000000000000000000..0cd18de4c67ecdc46a648bb3891890a8a65fd7f3
--- /dev/null
+++ b/testcases/SetOperations.scala
@@ -0,0 +1,11 @@
+import scala.collection.immutable.Set
+
+// Cardinalities not supported yet.
+// Pre/Post conditions commented out.
+
+object SetOperations {
+    def add(a: Set[Int], b: Int) : Set[Int] = {
+        // require(a.size >= 0)
+        a + b
+    } // ensuring((x:Set[Int]) => x.size == a.size + 1)
+}