1 files changed, 1078 insertions, 332 deletions
diff --git a/src/relooper/test_inf.txt b/src/relooper/test_inf.txt
index bc2fad3e..6db32edb 100644
--- a/src/relooper/test_inf.txt
+++ b/src/relooper/test_inf.txt
@@ -1,385 +1,1131 @@
 code 0
-if (uint(i4) >= uint(i5)) {
+switch (the_var) {
+uint(i4) >= uint(i5) {
  code 2
-} else {
+ switch (the_var) {
+ default: {
+ }
+ }
+ break;
+}
+default: {
  code 1
+ switch (the_var) {
+ default: {
+ }
+ }
+}
 }
 code 3
-if (!(i2 == 0)) {
- code 4
- while(1) {
-  code 5
-  if (uint(i6) >= uint(i7)) {
-   code 7
-  } else {
-   code 6
-  }
-  code 8
-  if (uint(i6) >= uint(i7)) {
-   code 10
-  } else {
-   code 9
+L5: do {
+ switch (the_var) {
+ i2 == 0 {
+  break;
+ }
+ default: {
+  code 4
+  switch (the_var) {
+  default: {
   }
-  code 11
-  if (uint(i5) >= uint(i6)) {
-   code 13
-  } else {
-   code 12
   }
-  code 14
-  if (!(i2 != 0)) {
-   break;
+  while(1) {
+   code 5
+   switch (the_var) {
+   uint(i6) >= uint(i7) {
+    code 7
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 6
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 8
+   switch (the_var) {
+   uint(i6) >= uint(i7) {
+    code 10
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 9
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 11
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 13
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 12
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 14
+   switch (the_var) {
+   i2 != 0 {
+    break;
+   }
+   default: {
+    break L5;
+   }
+   }
   }
  }
-}
+ }
+} while(0);
 code 15
-if (uint(i4) >= uint(i5)) {
+switch (the_var) {
+uint(i4) >= uint(i5) {
  code 17
-} else {
+ switch (the_var) {
+ default: {
+ }
+ }
+ break;
+}
+default: {
  code 16
+ switch (the_var) {
+ default: {
+ }
+ }
+}
 }
 code 18
-if (!(i2 == 0)) {
- code 19
- while(1) {
-  code 20
-  if (uint(i5) >= uint(i6)) {
-   code 22
-  } else {
-   code 21
-  }
-  code 23
-  if (uint(i5) >= uint(i6)) {
-   code 25
-  } else {
-   code 24
-  }
-  code 26
-  if (uint(i5) >= uint(i6)) {
-   code 28
-  } else {
-   code 27
-  }
-  code 29
-  if (uint(i5) >= uint(i6)) {
-   code 31
-  } else {
-   code 30
-  }
-  code 32
-  if (uint(i5) >= uint(i6)) {
-   code 34
-  } else {
-   code 33
-  }
-  code 35
-  if (uint(i5) >= uint(i6)) {
-   code 37
-  } else {
-   code 36
-  }
-  code 38
-  if (uint(i5) >= uint(i6)) {
-   code 40
-  } else {
-   code 39
-  }
-  code 41
-  if (uint(i5) >= uint(i6)) {
-   code 43
-  } else {
-   code 42
-  }
-  code 44
-  if (uint(i5) >= uint(i6)) {
-   code 46
-  } else {
-   code 45
-  }
-  code 47
-  if (uint(i5) >= uint(i6)) {
-   code 49
-  } else {
-   code 48
-  }
-  code 50
-  if (uint(i5) >= uint(i6)) {
-   code 52
-  } else {
-   code 51
-  }
-  code 53
-  if (uint(i5) >= uint(i6)) {
-   code 55
-  } else {
-   code 54
-  }
-  code 56
-  if (uint(i5) >= uint(i6)) {
-   code 58
-  } else {
-   code 57
-  }
-  code 59
-  if (uint(i5) >= uint(i6)) {
-   code 61
-  } else {
-   code 60
-  }
-  code 62
-  if (uint(i5) >= uint(i6)) {
-   code 64
-  } else {
-   code 63
-  }
-  code 65
-  if (uint(i5) >= uint(i6)) {
-   code 67
-  } else {
-   code 66
-  }
-  code 68
-  if (uint(i5) >= uint(i6)) {
-   code 70
-  } else {
-   code 69
-  }
-  code 71
-  if (uint(i5) >= uint(i6)) {
-   code 73
-  } else {
-   code 72
-  }
-  code 74
-  if (uint(i5) >= uint(i6)) {
-   code 76
-  } else {
-   code 75
-  }
-  code 77
-  if (uint(i5) >= uint(i6)) {
-   code 79
-  } else {
-   code 78
-  }
-  code 80
-  if (uint(i5) >= uint(i6)) {
-   code 82
-  } else {
-   code 81
-  }
-  code 83
-  if (uint(i5) >= uint(i6)) {
-   code 85
-  } else {
-   code 84
-  }
-  code 86
-  if (uint(i5) >= uint(i6)) {
-   code 88
-  } else {
-   code 87
-  }
-  code 89
-  if (uint(i5) >= uint(i6)) {
-   code 91
-  } else {
-   code 90
-  }
-  code 92
-  if (uint(i5) >= uint(i6)) {
-   code 94
-  } else {
-   code 93
-  }
-  code 95
-  if (uint(i5) >= uint(i6)) {
-   code 97
-  } else {
-   code 96
+L26: do {
+ switch (the_var) {
+ i2 == 0 {
+  break;
+ }
+ default: {
+  code 19
+  switch (the_var) {
+  default: {
   }
-  code 98
-  if (uint(i5) >= uint(i6)) {
-   code 100
-  } else {
-   code 99
   }
-  code 101
-  if (!(i2 != 0)) {
-   break;
+  while(1) {
+   code 20
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 22
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 21
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 23
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 25
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 24
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 26
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 28
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 27
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 29
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 31
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 30
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 32
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 34
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 33
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 35
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 37
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 36
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 38
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 40
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 39
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 41
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 43
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 42
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 44
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 46
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 45
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 47
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 49
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 48
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 50
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 52
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 51
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 53
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 55
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 54
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 56
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 58
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 57
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 59
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 61
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 60
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 62
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 64
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 63
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 65
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 67
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 66
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 68
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 70
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 69
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 71
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 73
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 72
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 74
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 76
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 75
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 77
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 79
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 78
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 80
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 82
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 81
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 83
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 85
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 84
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 86
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 88
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 87
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 89
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 91
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 90
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 92
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 94
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 93
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 95
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 97
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 96
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 98
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 100
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 99
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 101
+   switch (the_var) {
+   i2 != 0 {
+    break;
+   }
+   default: {
+    break L26;
+   }
+   }
   }
  }
-}
+ }
+} while(0);
 code 102
-if (uint(i4) >= uint(i5)) {
+switch (the_var) {
+uint(i4) >= uint(i5) {
  code 104
-} else {
+ switch (the_var) {
+ default: {
+ }
+ }
+ break;
+}
+default: {
  code 103
+ switch (the_var) {
+ default: {
+ }
+ }
+}
 }
 code 105
-if (!(i2 == 0)) {
- code 106
- while(1) {
-  code 107
-  if (uint(i5) >= uint(i6)) {
-   code 109
-  } else {
-   code 108
-  }
-  code 110
-  if (uint(i5) >= uint(i6)) {
-   code 112
-  } else {
-   code 111
-  }
-  code 113
-  if (uint(i5) >= uint(i6)) {
-   code 115
-  } else {
-   code 114
-  }
-  code 116
-  if (uint(i5) >= uint(i6)) {
-   code 118
-  } else {
-   code 117
-  }
-  code 119
-  if (uint(i5) >= uint(i6)) {
-   code 121
-  } else {
-   code 120
-  }
-  code 122
-  if (uint(i5) >= uint(i6)) {
-   code 124
-  } else {
-   code 123
-  }
-  code 125
-  if (uint(i5) >= uint(i6)) {
-   code 127
-  } else {
-   code 126
-  }
-  code 128
-  if (uint(i5) >= uint(i6)) {
-   code 130
-  } else {
-   code 129
-  }
-  code 131
-  if (uint(i5) >= uint(i6)) {
-   code 133
-  } else {
-   code 132
-  }
-  code 134
-  if (uint(i5) >= uint(i6)) {
-   code 136
-  } else {
-   code 135
-  }
-  code 137
-  if (uint(i5) >= uint(i6)) {
-   code 139
-  } else {
-   code 138
-  }
-  code 140
-  if (uint(i5) >= uint(i6)) {
-   code 142
-  } else {
-   code 141
-  }
-  code 143
-  if (uint(i5) >= uint(i6)) {
-   code 145
-  } else {
-   code 144
-  }
-  code 146
-  if (uint(i5) >= uint(i6)) {
-   code 148
-  } else {
-   code 147
-  }
-  code 149
-  if (uint(i5) >= uint(i6)) {
-   code 151
-  } else {
-   code 150
-  }
-  code 152
-  if (uint(i5) >= uint(i6)) {
-   code 154
-  } else {
-   code 153
-  }
-  code 155
-  if (uint(i5) >= uint(i6)) {
-   code 157
-  } else {
-   code 156
-  }
-  code 158
-  if (uint(i5) >= uint(i6)) {
-   code 160
-  } else {
-   code 159
-  }
-  code 161
-  if (uint(i5) >= uint(i6)) {
-   code 163
-  } else {
-   code 162
+L143: do {
+ switch (the_var) {
+ i2 == 0 {
+  break;
+ }
+ default: {
+  code 106
+  switch (the_var) {
+  default: {
   }
-  code 164
-  if (uint(i5) >= uint(i6)) {
-   code 166
-  } else {
-   code 165
   }
-  code 167
-  if (!(i2 != 0)) {
-   break;
+  while(1) {
+   code 107
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 109
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 108
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 110
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 112
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 111
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 113
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 115
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 114
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 116
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 118
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 117
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 119
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 121
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 120
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 122
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 124
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 123
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 125
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 127
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 126
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 128
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 130
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 129
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 131
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 133
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 132
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 134
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 136
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 135
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 137
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 139
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 138
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 140
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 142
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 141
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 143
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 145
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 144
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 146
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 148
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 147
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 149
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 151
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 150
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 152
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 154
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 153
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 155
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 157
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 156
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 158
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 160
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 159
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 161
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 163
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 162
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 164
+   switch (the_var) {
+   uint(i5) >= uint(i6) {
+    code 166
+    switch (the_var) {
+    default: {
+    }
+    }
+    break;
+   }
+   default: {
+    code 165
+    switch (the_var) {
+    default: {
+    }
+    }
+   }
+   }
+   code 167
+   switch (the_var) {
+   i2 != 0 {
+    break;
+   }
+   default: {
+    break L143;
+   }
+   }
   }
  }
-}
+ }
+} while(0);
 code 168
-if (uint(i4) >= uint(i5)) {
+switch (the_var) {
+uint(i4) >= uint(i5) {
  code 170
-} else {
+ switch (the_var) {
+ default: {
+ }
+ }
+ break;
+}
+default: {
  code 169
+ switch (the_var) {
+ default: {
+ }
+ }
+}
 }
 code 171
-if (i2 == 0) {
+switch (the_var) {
+i2 == 0 {
  code 183
+ break;
+}
+default: {
+}
 }
 code 172
-while(1) {
+switch (the_var) {
+default: {
+}
+}
+L235: while(1) {
  code 173
- if (uint(i5) >= uint(i6)) {
+ switch (the_var) {
+ uint(i5) >= uint(i6) {
   code 175
- } else {
+  switch (the_var) {
+  default: {
+  }
+  }
+  break;
+ }
+ default: {
   code 174
+  switch (the_var) {
+  default: {
+  }
+  }
+ }
  }
  code 176
- if (uint(i5) >= uint(i6)) {
+ switch (the_var) {
+ uint(i5) >= uint(i6) {
   code 178
- } else {
+  switch (the_var) {
+  default: {
+  }
+  }
+  break;
+ }
+ default: {
   code 177
+  switch (the_var) {
+  default: {
+  }
+  }
+ }
  }
  code 179
- if (uint(i4) >= uint(i5)) {
+ switch (the_var) {
+ uint(i4) >= uint(i5) {
   code 181
- } else {
+  switch (the_var) {
+  default: {
+  }
+  }
+  break;
+ }
+ default: {
   code 180
+  switch (the_var) {
+  default: {
+  }
+  }
+ }
  }
  code 182
- if (!(i2 != 0)) {
+ switch (the_var) {
+ i2 != 0 {
   break;
  }
+ default: {
+  break L235;
+ }
+ }
 }
 code 183