path: root/src/relooper/test_inf.txt

code 0
switch (the_var) {
uint(i4) >= uint(i5) {
 code 2
 switch (the_var) {
 default: {
 }
 }
 break;
}
default: {
 code 1
 switch (the_var) {
 default: {
 }
 }
}
}
code 3
L5: do {
 switch (the_var) {
 i2 == 0 {
  break;
 }
 default: {
  code 4
  switch (the_var) {
  default: {
  }
  }
  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
switch (the_var) {
uint(i4) >= uint(i5) {
 code 17
 switch (the_var) {
 default: {
 }
 }
 break;
}
default: {
 code 16
 switch (the_var) {
 default: {
 }
 }
}
}
code 18
L26: do {
 switch (the_var) {
 i2 == 0 {
  break;
 }
 default: {
  code 19
  switch (the_var) {
  default: {
  }
  }
  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
switch (the_var) {
uint(i4) >= uint(i5) {
 code 104
 switch (the_var) {
 default: {
 }
 }
 break;
}
default: {
 code 103
 switch (the_var) {
 default: {
 }
 }
}
}
code 105
L143: do {
 switch (the_var) {
 i2 == 0 {
  break;
 }
 default: {
  code 106
  switch (the_var) {
  default: {
  }
  }
  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
switch (the_var) {
uint(i4) >= uint(i5) {
 code 170
 switch (the_var) {
 default: {
 }
 }
 break;
}
default: {
 code 169
 switch (the_var) {
 default: {
 }
 }
}
}
code 171
switch (the_var) {
i2 == 0 {
 code 183
 break;
}
default: {
}
}
code 172
switch (the_var) {
default: {
}
}
L235: while(1) {
 code 173
 switch (the_var) {
 uint(i5) >= uint(i6) {
  code 175
  switch (the_var) {
  default: {
  }
  }
  break;
 }
 default: {
  code 174
  switch (the_var) {
  default: {
  }
  }
 }
 }
 code 176
 switch (the_var) {
 uint(i5) >= uint(i6) {
  code 178
  switch (the_var) {
  default: {
  }
  }
  break;
 }
 default: {
  code 177
  switch (the_var) {
  default: {
  }
  }
 }
 }
 code 179
 switch (the_var) {
 uint(i4) >= uint(i5) {
  code 181
  switch (the_var) {
  default: {
  }
  }
  break;
 }
 default: {
  code 180
  switch (the_var) {
  default: {
  }
  }
 }
 }
 code 182
 switch (the_var) {
 i2 != 0 {
  break;
 }
 default: {
  break L235;
 }
 }
}
code 183