diff --git a/ex2/test/Makefile b/ex2/test/Makefile
index 2c2210b..e9647a1 100644
--- a/ex2/test/Makefile
+++ b/ex2/test/Makefile
@@ -1,6 +1,6 @@
 .PRECIOUS: %.ll %.instrumented.ll
 
-TARGETS=simple0 simple1 branch0 branch1 branch2 infeasable
+TARGETS=simple0 simple1 simple2 branch0 branch1 branch2 infeasable
 
 all: ${TARGETS}
 
diff --git a/ex2/test/simple0.c b/ex2/test/simple0.c
index 9fcb4a3..4ec64d2 100644
--- a/ex2/test/simple0.c
+++ b/ex2/test/simple0.c
@@ -3,7 +3,7 @@
 #include "../include/Runtime.h"
 
 int main() {
-  int x; DSE_Input(x);
-  x = x + 1;
+  int x = 1;
+  int y = x;
   return 0;
 }
diff --git a/ex2/test/simple1.c b/ex2/test/simple1.c
index 1bc3017..33a623d 100644
--- a/ex2/test/simple1.c
+++ b/ex2/test/simple1.c
@@ -4,7 +4,6 @@
 
 int main() {
   int x; DSE_Input(x);
-  int y; DSE_Input(y);
-  int z = x / y;
+  int y = x;
   return 0;
 }
diff --git a/ex2/test/simple2.c b/ex2/test/simple2.c
new file mode 100644
index 0000000..33a623d
--- /dev/null
+++ b/ex2/test/simple2.c
@@ -0,0 +1,9 @@
+#include <stdio.h>
+
+#include "../include/Runtime.h"
+
+int main() {
+  int x; DSE_Input(x);
+  int y = x;
+  return 0;
+}