IR linearization

examples/ReachingDefinitions.nct

@@ -0,0 +1,9 @@
+u16 x = 0;
+
+x = 5;
+
+if(x == 2) {
+	x = 3;
+}
+
+x = 4;

examples/if.nct

@@ -1,12 +1,5 @@
 u16 x: 5;
-loop {
-	u16* y = 257;
-	u9 w = -4;
-	u16 p = *y;
-	u4 z = p + 3;
-	u2 o = -w;
-	
-	if(x != 0) {
-		break;
-	}
+
+if(x != 0) {
+	x = 2;
 }