diff --git a/mytest/MyTuple1.scala b/mytest/MyTuple1.scala
new file mode 100644
index 0000000000000000000000000000000000000000..029eff9907d1053e7ec7aaff9c1f0bb659be616b
--- /dev/null
+++ b/mytest/MyTuple1.scala
@@ -0,0 +1,11 @@
+object MyTuple1 {
+
+  def foo(): Int = {
+    val t = (1, true)
+    val a1 = t._1
+    val a2 = t._2
+    a1
+  } ensuring( _ > 0)
+
+}
+
diff --git a/mytest/MyTuple2.scala b/mytest/MyTuple2.scala
new file mode 100644
index 0000000000000000000000000000000000000000..bc4289ffc26397f61eaf4a377b531b3a4d6929f4
--- /dev/null
+++ b/mytest/MyTuple2.scala
@@ -0,0 +1,10 @@
+object MyTuple2 {
+
+  def foo(): Int = {
+    val t = (1, true)
+    val a1 = t._1
+    val a2 = t._2
+    a1
+  } ensuring( _ < 0)
+
+}
diff --git a/mytest/MyTupleWrong.scala b/mytest/MyTupleWrong.scala
new file mode 100644
index 0000000000000000000000000000000000000000..23368d31ba73e2706ca98e87d663177790afed45
--- /dev/null
+++ b/mytest/MyTupleWrong.scala
@@ -0,0 +1,14 @@
+object MyTupleWrong {
+
+  def foo(): Int = {
+    val t = (1, true)
+    val a1 = t._1
+    val a2 = t._2
+    val a3 = t._3
+    a1
+  }
+
+}
+
+
+// vim: set ts=4 sw=4 et: