Add some tests

examples/pos/lambdalifting/nested.check

@@ -0,0 +1 @@
+Inner Handler!

examples/pos/lambdalifting/nested.effekt

@@ -0,0 +1,12 @@
+effect raise(): Int
+
+
+def main() =
+  try {
+    val x = {
+      def f(n: Int): Int / {} = { do raise(); if (n == 0) { f(7) ; do raise() } else 4 }
+      f(1)
+      f(2)
+    }
+    println(x)
+  } with e1: raise { println("Inner Handler!") }

examples/pos/lambdalifting/nestedif.check

@@ -0,0 +1 @@
+Inner Handler!

examples/pos/lambdalifting/nestedif.effekt

@@ -0,0 +1,16 @@
+effect raise(): Int
+
+
+def main() =
+  try {
+    val x = {
+      def f(n: Int): Int / {} =
+        {
+          val z = if (true) do raise() else { do raise() + 1 };
+          z
+        }
+      val z = f(1);
+      f(2)
+    }
+    println(x)
+  } with e1: raise { println("Inner Handler!") }

examples/pos/lambdalifting/patternmatching.check

@@ -0,0 +1 @@
+4

examples/pos/lambdalifting/patternmatching.effekt

@@ -0,0 +1,18 @@
+type Foo {
+  Bar(n: Int);
+  Baz()
+}
+
+def consume(f: Foo) = {
+  val res = f match {
+    case Bar(n) => n + 1
+    case Baz() => 0
+  }
+  res * 2
+}
+
+def main() = {
+  val x = consume(Bar(1));
+  val y = consume(Baz());
+  println(x + y)
+}