diff --git a/checker/input/00-transpiler.in b/checker/input/00-transpiler.in
index fabeb82154bb19903a7e6597e73bcaf98ed7bc50..7a83f3b9efde9022cd477b39047792252ab4c186 100644
--- a/checker/input/00-transpiler.in
+++ b/checker/input/00-transpiler.in
@@ -1,2 +1,5 @@
-b = 4
-a = b
\ No newline at end of file
+d = 77;
+b = 23;
+a = 96;
+a = 23;
+c = 58;
diff --git a/checker/input/01-transpiler.in b/checker/input/01-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..5853bf917f82834798212d847bae8a4e76ef92d8
--- /dev/null
+++ b/checker/input/01-transpiler.in
@@ -0,0 +1,8 @@
+a = c;
+d = d;
+d = 59;
+b = b;
+c = b;
+a = c;
+b = 76;
+b = 89;
diff --git a/checker/input/02-transpiler.in b/checker/input/02-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..cd7257bb74681e47cd768af669f87bf5a719b561
--- /dev/null
+++ b/checker/input/02-transpiler.in
@@ -0,0 +1,3 @@
+d = d & 42;
+b = b ^ 41;
+a = a ^ 39;
diff --git a/checker/input/03-transpiler.in b/checker/input/03-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..7b6461b1c4b8750083e986040c1f7fd4758e58bf
--- /dev/null
+++ b/checker/input/03-transpiler.in
@@ -0,0 +1,10 @@
+c = c & 73;
+d = d & 45;
+a = a & 6;
+d = d & a;
+a = a | 19;
+b = b ^ a;
+a = a & 44;
+d = d ^ 89;
+d = d & 20;
+a = a & 41;
diff --git a/checker/input/04-transpiler.in b/checker/input/04-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..6ceb215a30c5785d4c471bfb7d3c7878940d4038
--- /dev/null
+++ b/checker/input/04-transpiler.in
@@ -0,0 +1,4 @@
+a = a + d;
+c = c + 26;
+b = b + b;
+b = b + 63;
diff --git a/checker/input/05-transpiler.in b/checker/input/05-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..20e9efddcd44908afc8daedc56f9c996b8816aa2
--- /dev/null
+++ b/checker/input/05-transpiler.in
@@ -0,0 +1,9 @@
+c = c + 65;
+b = b + d;
+b = b + 20;
+d = d + a;
+b = b + d;
+d = d + 23;
+c = c + b;
+c = c + 52;
+a = a + 83;
diff --git a/checker/input/06-transpiler.in b/checker/input/06-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..c7b8a3d0d3592d5248883dd66c5313d154bb6ac6
--- /dev/null
+++ b/checker/input/06-transpiler.in
@@ -0,0 +1,5 @@
+a = a - a;
+d = d - b;
+c = c - b;
+a = a - 55;
+b = b - 16;
diff --git a/checker/input/07-transpiler.in b/checker/input/07-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..64403ffa1d77a7dac043ba4ea72acf1c1e45d881
--- /dev/null
+++ b/checker/input/07-transpiler.in
@@ -0,0 +1,10 @@
+b = b - 55;
+b = b - 22;
+b = b - 70;
+b = b - 90;
+b = b - 50;
+d = d - 82;
+a = a - 67;
+d = d - 83;
+b = b - 28;
+b = b - b;
diff --git a/checker/input/08-transpiler.in b/checker/input/08-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..ebe47d2f870d2aaea1313341dd1293d6c878dfd4
--- /dev/null
+++ b/checker/input/08-transpiler.in
@@ -0,0 +1,3 @@
+c = c * 8;
+c = c * 1;
+c = c * 6;
diff --git a/checker/input/09-transpiler.in b/checker/input/09-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..65f02da1f5187d982eb597688ec283d44d2bb9f8
--- /dev/null
+++ b/checker/input/09-transpiler.in
@@ -0,0 +1,8 @@
+b = b * 10;
+b = b * 4;
+b = b * 9;
+c = c * c;
+c = c * 6;
+c = c * a;
+c = c * 7;
+b = b * 0;
diff --git a/checker/input/10-transpiler.in b/checker/input/10-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..8ca4ce90f00e82163fe7bfc1ddb720446cbb0630
--- /dev/null
+++ b/checker/input/10-transpiler.in
@@ -0,0 +1,4 @@
+b = b / 0;
+b = b / 9;
+b = b / c;
+b = b / c;
diff --git a/checker/input/11-transpiler.in b/checker/input/11-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..fd164772cb4abd3a8925da9d7ecf3cc5d2ee2131
--- /dev/null
+++ b/checker/input/11-transpiler.in
@@ -0,0 +1,10 @@
+b = b / 8;
+b = b / 4;
+c = c / 0;
+c = c / 5;
+c = c / c;
+c = c / 2;
+c = c / 9;
+b = b / 8;
+b = b / 6;
+c = c / b;
diff --git a/checker/input/12-transpiler.in b/checker/input/12-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..bc3ff441db632d80f3ffbaeeba5f1e3a5c2be410
--- /dev/null
+++ b/checker/input/12-transpiler.in
@@ -0,0 +1,4 @@
+a = a >> 2;
+a = a << 14;
+d = d >> 14;
+b = b >> 1;
diff --git a/checker/input/13-transpiler.in b/checker/input/13-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..641a45e132cf0e3d13b96b8e7a524e9829f84b2f
--- /dev/null
+++ b/checker/input/13-transpiler.in
@@ -0,0 +1,8 @@
+d = d >> 20;
+a = a >> 24;
+b = b >> 4;
+b = b >> 7;
+d = d << 2;
+c = c >> 25;
+c = c << 31;
+a = a >> 24;
diff --git a/checker/input/14-transpiler.in b/checker/input/14-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..2ea6b0adf574a3d5c91c3a64c8dba307d6adcb30
--- /dev/null
+++ b/checker/input/14-transpiler.in
@@ -0,0 +1,4 @@
+if (d >= 82)
+if (c >= 23)
+if (d == 20)
+if (a < 0)
diff --git a/checker/input/15-transpiler.in b/checker/input/15-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..926f8409efb0fc6b1d590e6e2e209ee523d4f805
--- /dev/null
+++ b/checker/input/15-transpiler.in
@@ -0,0 +1,8 @@
+if (b <= 93)
+if (d < 17)
+if (c < 80)
+if (d <= 93)
+if (a < 72)
+if (a > 75)
+if (d >= 73)
+if (d == 14)
diff --git a/checker/input/16-transpiler.in b/checker/input/16-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..5a7a9d5fd0bd16498c5b98dda12509c899c10c4e
--- /dev/null
+++ b/checker/input/16-transpiler.in
@@ -0,0 +1,4 @@
+while (b > 55)
+while (b > 69)
+while (a >= 2)
+while (b <= 97)
diff --git a/checker/input/17-transpiler.in b/checker/input/17-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..04b09549f3d1675fa989600feaec0ad929345d13
--- /dev/null
+++ b/checker/input/17-transpiler.in
@@ -0,0 +1,10 @@
+while (b >= 3)
+while (d < 5)
+while (a <= 80)
+while (d >= 11)
+while (b <= 3)
+while (a <= 96)
+while (a <= 56)
+while (b == 58)
+while (c > 49)
+while (a <= 10)
diff --git a/checker/input/18-transpiler.in b/checker/input/18-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..c365ee1732b85adaadc66de8b72bbc7de5df1920
--- /dev/null
+++ b/checker/input/18-transpiler.in
@@ -0,0 +1,4 @@
+while (b >= 72)
+while (d <= 95)
+while (d > 95)
+while (d >= 69)
diff --git a/checker/input/19-transpiler.in b/checker/input/19-transpiler.in
new file mode 100644
index 0000000000000000000000000000000000000000..410bf5463ef4b9f6999021eca4b44b152d0b5706
--- /dev/null
+++ b/checker/input/19-transpiler.in
@@ -0,0 +1,8 @@
+while (a <= 32)
+while (b < 99)
+while (c > 28)
+while (a == 65)
+while (c < 23)
+while (b >= 67)
+while (d >= 87)
+while (d < 52)
diff --git a/checker/ref/00-transpiler.ref b/checker/ref/00-transpiler.ref
index 30f1e672760f435ea0239bb32dafaee0a5b9553a..7a83f3b9efde9022cd477b39047792252ab4c186 100644
--- a/checker/ref/00-transpiler.ref
+++ b/checker/ref/00-transpiler.ref
@@ -1 +1,5 @@
-MOV ceva, ceva
+d = 77;
+b = 23;
+a = 96;
+a = 23;
+c = 58;
diff --git a/checker/ref/01-transpiler.ref b/checker/ref/01-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..5853bf917f82834798212d847bae8a4e76ef92d8
--- /dev/null
+++ b/checker/ref/01-transpiler.ref
@@ -0,0 +1,8 @@
+a = c;
+d = d;
+d = 59;
+b = b;
+c = b;
+a = c;
+b = 76;
+b = 89;
diff --git a/checker/ref/02-transpiler.ref b/checker/ref/02-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..cd7257bb74681e47cd768af669f87bf5a719b561
--- /dev/null
+++ b/checker/ref/02-transpiler.ref
@@ -0,0 +1,3 @@
+d = d & 42;
+b = b ^ 41;
+a = a ^ 39;
diff --git a/checker/ref/03-transpiler.ref b/checker/ref/03-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..7b6461b1c4b8750083e986040c1f7fd4758e58bf
--- /dev/null
+++ b/checker/ref/03-transpiler.ref
@@ -0,0 +1,10 @@
+c = c & 73;
+d = d & 45;
+a = a & 6;
+d = d & a;
+a = a | 19;
+b = b ^ a;
+a = a & 44;
+d = d ^ 89;
+d = d & 20;
+a = a & 41;
diff --git a/checker/ref/04-transpiler.ref b/checker/ref/04-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..6ceb215a30c5785d4c471bfb7d3c7878940d4038
--- /dev/null
+++ b/checker/ref/04-transpiler.ref
@@ -0,0 +1,4 @@
+a = a + d;
+c = c + 26;
+b = b + b;
+b = b + 63;
diff --git a/checker/ref/05-transpiler.ref b/checker/ref/05-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..20e9efddcd44908afc8daedc56f9c996b8816aa2
--- /dev/null
+++ b/checker/ref/05-transpiler.ref
@@ -0,0 +1,9 @@
+c = c + 65;
+b = b + d;
+b = b + 20;
+d = d + a;
+b = b + d;
+d = d + 23;
+c = c + b;
+c = c + 52;
+a = a + 83;
diff --git a/checker/ref/06-transpiler.ref b/checker/ref/06-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..c7b8a3d0d3592d5248883dd66c5313d154bb6ac6
--- /dev/null
+++ b/checker/ref/06-transpiler.ref
@@ -0,0 +1,5 @@
+a = a - a;
+d = d - b;
+c = c - b;
+a = a - 55;
+b = b - 16;
diff --git a/checker/ref/07-transpiler.ref b/checker/ref/07-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..64403ffa1d77a7dac043ba4ea72acf1c1e45d881
--- /dev/null
+++ b/checker/ref/07-transpiler.ref
@@ -0,0 +1,10 @@
+b = b - 55;
+b = b - 22;
+b = b - 70;
+b = b - 90;
+b = b - 50;
+d = d - 82;
+a = a - 67;
+d = d - 83;
+b = b - 28;
+b = b - b;
diff --git a/checker/ref/08-transpiler.ref b/checker/ref/08-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..ebe47d2f870d2aaea1313341dd1293d6c878dfd4
--- /dev/null
+++ b/checker/ref/08-transpiler.ref
@@ -0,0 +1,3 @@
+c = c * 8;
+c = c * 1;
+c = c * 6;
diff --git a/checker/ref/09-transpiler.ref b/checker/ref/09-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..65f02da1f5187d982eb597688ec283d44d2bb9f8
--- /dev/null
+++ b/checker/ref/09-transpiler.ref
@@ -0,0 +1,8 @@
+b = b * 10;
+b = b * 4;
+b = b * 9;
+c = c * c;
+c = c * 6;
+c = c * a;
+c = c * 7;
+b = b * 0;
diff --git a/checker/ref/10-transpiler.ref b/checker/ref/10-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..51a8e03154c40b0d8ad7dad91f1dafb020890c3b
--- /dev/null
+++ b/checker/ref/10-transpiler.ref
@@ -0,0 +1,4 @@
+d = d / d;
+b = b / c;
+d = d / b;
+c = c / a;
diff --git a/checker/ref/11-transpiler.ref b/checker/ref/11-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..c15b1a1de3d913120313a15960c7e1ecd7cbeb73
--- /dev/null
+++ b/checker/ref/11-transpiler.ref
@@ -0,0 +1,9 @@
+d = d / b;
+d = d / c;
+c = c / 7;
+d = d / d;
+c = c / 5;
+b = b / 5;
+c = c / c;
+d = d / 8;
+d = d / 4;
diff --git a/checker/ref/12-transpiler.ref b/checker/ref/12-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..301c032c89e09cf3b27c288dcd6bbc44635e719d
--- /dev/null
+++ b/checker/ref/12-transpiler.ref
@@ -0,0 +1,5 @@
+a = a >> 23;
+a = a << 28;
+a = a >> 2;
+a = a << 14;
+d = d >> 14;
diff --git a/checker/ref/13-transpiler.ref b/checker/ref/13-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..3c14a393e2ffcc6103bcb790e388cc75cf1bb5eb
--- /dev/null
+++ b/checker/ref/13-transpiler.ref
@@ -0,0 +1,10 @@
+b = b >> 1;
+b = b >> 31;
+c = c << 21;
+d = d << 26;
+a = a << 31;
+a = a >> 10;
+a = a >> 21;
+d = d >> 3;
+d = d << 19;
+d = d >> 25;
diff --git a/checker/ref/14-transpiler.ref b/checker/ref/14-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..aac4e3372c3c6067fe7e17991d7cba7822413201
--- /dev/null
+++ b/checker/ref/14-transpiler.ref
@@ -0,0 +1,5 @@
+if (c >= 23)
+if (d == 20)
+if (a < 0)
+if (b > 58)
+if (d < 17)
diff --git a/checker/ref/15-transpiler.ref b/checker/ref/15-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..929f796caa811874f3efa7b6867e2e2bb91b1411
--- /dev/null
+++ b/checker/ref/15-transpiler.ref
@@ -0,0 +1,9 @@
+if (a <= 88)
+if (d >= 8)
+if (a >= 76)
+if (a > 75)
+if (d >= 73)
+if (d == 14)
+if (d > 20)
+if (d > 98)
+if (b >= 7)
diff --git a/checker/ref/16-transpiler.ref b/checker/ref/16-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..6c36c0f43c5316f1b1605d130a9fe758aa4181f9
--- /dev/null
+++ b/checker/ref/16-transpiler.ref
@@ -0,0 +1,5 @@
+while (a > 99)
+while (d > 74)
+while (a <= 15)
+while (a < 59)
+while (d >= 11)
diff --git a/checker/ref/17-transpiler.ref b/checker/ref/17-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..2150b3d86c9bbb2a0d4b49f49b09eadeb0baf401
--- /dev/null
+++ b/checker/ref/17-transpiler.ref
@@ -0,0 +1,12 @@
+while (b <= 3) {
+    a = a + 23;
+}
+while (a <= 96)
+while (a <= 56)
+while (b == 58)
+while (c > 49)
+while (a <= 10)
+while (d > 76)
+while (d <= 95)
+while (d > 95)
+while (d >= 69)
diff --git a/checker/ref/18-transpiler.ref b/checker/ref/18-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..ad629ca6ac2a54d98763d525cb197f9403534061
--- /dev/null
+++ b/checker/ref/18-transpiler.ref
@@ -0,0 +1,3 @@
+while (a <= 32)
+while (b < 99)
+while (c > 28)
diff --git a/checker/ref/19-transpiler.ref b/checker/ref/19-transpiler.ref
new file mode 100644
index 0000000000000000000000000000000000000000..330994d347141a892ab1497df8d154707d892028
--- /dev/null
+++ b/checker/ref/19-transpiler.ref
@@ -0,0 +1,8 @@
+while (c >= 47)
+while (a > 25)
+while (d >= 87)
+while (d < 52)
+while (d > 61)
+while (c >= 67)
+while (d < 70)
+while (d < 39)