diff --git a/tests/programs/sp3_if_else_sse.alpha b/tests/programs/sp3_if_else_sse.alpha
new file mode 100644
index 0000000..49d345f
--- /dev/null
+++ b/tests/programs/sp3_if_else_sse.alpha
@@ -0,0 +1,36 @@
+#include "std.alpha"
+type rec: [character: x; integer: y]
+
+type T2: rec -> integer
+
+type main: string -> integer
+function entry: main
+                (*
+function bar: T2
+
+bar (r,s) := {
+    return 0;
+}
+
+                *)
+entry (arg) := {
+ 	[ Boolean:x ; Boolean:y ; Boolean:z ; Boolean:t; integer: c]
+        x := false;
+        y := true;
+        if ( x | y ) then {
+
+                (*
+                 if ( x<y & !(x=y) ) then {
+                        t := 8;
+                } else {
+                }
+                *)
+
+                z := 1 < 2;
+                c := printBoolean(true);
+        } else {
+                y := false; (* bar('c', 7); *)
+                c := printBoolean(false);
+        }
+	return 0;
+}