Test case adjustment.

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}
 

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;
 }

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;
 }

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;
+}