test/Golden/Machine/nandlang.dump

   1 push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4)))))
   2 name_17:
   3 | push (\u1 -> (\u2 -> (\u3 -> u3)))
   4 | name_28:
   5 | | push Term
   6 | | ret
   7 | call name_28
   8 | lift (\u1 -> (\u2 -> u1 u2))
   9 | name_24:
  10 | | catchFail
  11 | |   <try>
  12 | |   | push (\u1 -> (\u2 -> (\u3 -> u2 u3)))
  13 | |   | join_55:
  14 | |   | | lift (\u1 -> (\u2 -> u1 u2))
  15 | |   | | call name_24
  16 | |   | | lift (\u1 -> (\u2 -> u1 u2))
  17 | |   | | popFail
  18 | |   | | ret
  19 | |   | catchFail
  20 | |   |   <try>
  21 | |   |   | push (\u1 -> (\u2 -> Term))
  22 | |   |   | name_4:
  23 | |   |   | | push (\u1 -> (\u2 -> u2))
  24 | |   |   | | read Term
  25 | |   |   | | lift (\u1 -> (\u2 -> u1 u2))
  26 | |   |   | | call name_28
  27 | |   |   | | lift (\u1 -> (\u2 -> u1 u2))
  28 | |   |   | | ret
  29 | |   |   | call name_4
  30 | |   |   | lift (\u1 -> (\u2 -> u1 u2))
  31 | |   |   | name_6:
  32 | |   |   | | catchFail
  33 | |   |   | |   <try>
  34 | |   |   | |   | push (\u1 -> (\u2 -> (\u3 -> u2 u3)))
  35 | |   |   | |   | call name_4
  36 | |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
  37 | |   |   | |   | call name_6
  38 | |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
  39 | |   |   | |   | popFail
  40 | |   |   | |   | ret
  41 | |   |   | |   <handler>
  42 | |   |   | |     pushInput
  43 | |   |   | |     lift Term
  44 | |   |   | |     choices [(\u1 -> u1)]
  45 | |   |   | |       <branch>
  46 | |   |   | |       | push (\u1 -> u1)
  47 | |   |   | |       | ret
  48 | |   |   | |       <default>
  49 | |   |   | |         fail
  50 | |   |   | call name_6
  51 | |   |   | lift (\u1 -> (\u2 -> u1 u2))
  52 | |   |   | popFail
  53 | |   |   | refJoin join_55
  54 | |   |   <handler>
  55 | |   |     pushInput
  56 | |   |     lift Term
  57 | |   |     choices [(\u1 -> u1)]
  58 | |   |       <branch>
  59 | |   |       | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u5)))))
  60 | |   |       | catchFail
  61 | |   |       |   <try>
  62 | |   |       |   | push (\u1 -> (\u2 -> '/' : ('/' : Term)))
  63 | |   |       |   | read ('/' ==)
  64 | |   |       |   | lift (\u1 -> (\u2 -> u1 u2))
  65 | |   |       |   | read ('/' ==)
  66 | |   |       |   | lift (\u1 -> (\u2 -> u1 u2))
  67 | |   |       |   | popFail
  68 | |   |       |   | lift (\u1 -> (\u2 -> u1 u2))
  69 | |   |       |   | call name_28
  70 | |   |       |   | lift (\u1 -> (\u2 -> u1 u2))
  71 | |   |       |   | name_7:
  72 | |   |       |   | | catchFail
  73 | |   |       |   | |   <try>
  74 | |   |       |   | |   | push (\u1 -> (\u2 -> (\u3 -> u2 u3)))
  75 | |   |       |   | |   | read Term
  76 | |   |       |   | |   | lift (\u1 -> (\u2 -> u1 u2))
  77 | |   |       |   | |   | call name_7
  78 | |   |       |   | |   | lift (\u1 -> (\u2 -> u1 u2))
  79 | |   |       |   | |   | popFail
  80 | |   |       |   | |   | ret
  81 | |   |       |   | |   <handler>
  82 | |   |       |   | |     pushInput
  83 | |   |       |   | |     lift Term
  84 | |   |       |   | |     choices [(\u1 -> u1)]
  85 | |   |       |   | |       <branch>
  86 | |   |       |   | |       | push (\u1 -> u1)
  87 | |   |       |   | |       | ret
  88 | |   |       |   | |       <default>
  89 | |   |       |   | |         fail
  90 | |   |       |   | call name_7
  91 | |   |       |   | lift (\u1 -> (\u2 -> u1 u2))
  92 | |   |       |   | call name_28
  93 | |   |       |   | lift (\u1 -> (\u2 -> u1 u2))
  94 | |   |       |   | call name_28
  95 | |   |       |   | lift (\u1 -> (\u2 -> u1 u2))
  96 | |   |       |   | refJoin join_55
  97 | |   |       |   <handler>
  98 | |   |       |     loadInput
  99 | |   |       |     fail
 100 | |   |       <default>
 101 | |   |         fail
 102 | |   <handler>
 103 | |     pushInput
 104 | |     lift Term
 105 | |     choices [(\u1 -> u1)]
 106 | |       <branch>
 107 | |       | push (\u1 -> u1)
 108 | |       | ret
 109 | |       <default>
 110 | |         fail
 111 | call name_24
 112 | lift (\u1 -> (\u2 -> u1 u2))
 113 | call name_28
 114 | lift (\u1 -> (\u2 -> u1 u2))
 115 | ret
 116 call name_17
 117 lift (\u1 -> (\u2 -> u1 u2))
 118 call name_28
 119 lift (\u1 -> (\u2 -> u1 u2))
 120 name_5:
 121 | catchFail
 122 |   <try>
 123 |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> u9 u10))))))))))
 124 |   | catchFail
 125 |   |   <try>
 126 |   |   | push (\u1 -> (\u2 -> u2))
 127 |   |   | catchFail
 128 |   |   |   <try>
 129 |   |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> 'f' : ('u' : ('n' : ('c' : ('t' : ('i' : ('o' : ('n' : u9))))))))))))))))
 130 |   |   |   | read ('f' ==)
 131 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 132 |   |   |   | read ('u' ==)
 133 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 134 |   |   |   | read ('n' ==)
 135 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 136 |   |   |   | read ('c' ==)
 137 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 138 |   |   |   | read ('t' ==)
 139 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 140 |   |   |   | read ('i' ==)
 141 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 142 |   |   |   | read ('o' ==)
 143 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 144 |   |   |   | read ('n' ==)
 145 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 146 |   |   |   | name_29:
 147 |   |   |   | | push Term
 148 |   |   |   | | ret
 149 |   |   |   | call name_29
 150 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 151 |   |   |   | popFail
 152 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 153 |   |   |   | name_26:
 154 |   |   |   | | catchFail
 155 |   |   |   | |   <try>
 156 |   |   |   | |   | pushInput
 157 |   |   |   | |   | read Term
 158 |   |   |   | |   | pop
 159 |   |   |   | |   | popFail
 160 |   |   |   | |   | loadInput
 161 |   |   |   | |   | fail
 162 |   |   |   | |   <handler>
 163 |   |   |   | |     loadInput
 164 |   |   |   | |     push Term
 165 |   |   |   | |     ret
 166 |   |   |   | call name_26
 167 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 168 |   |   |   | popFail
 169 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 170 |   |   |   | call name_17
 171 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 172 |   |   |   | name_22:
 173 |   |   |   | | push (\u1 -> (\u2 -> u2))
 174 |   |   |   | | catchFail
 175 |   |   |   | |   <try>
 176 |   |   |   | |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
 177 |   |   |   | |   | read Term
 178 |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 179 |   |   |   | |   | call name_28
 180 |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 181 |   |   |   | |   | name_18:
 182 |   |   |   | |   | | catchFail
 183 |   |   |   | |   | |   <try>
 184 |   |   |   | |   | |   | push (\u1 -> (\u2 -> (\u3 -> u2 u3)))
 185 |   |   |   | |   | |   | read Term
 186 |   |   |   | |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 187 |   |   |   | |   | |   | call name_18
 188 |   |   |   | |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 189 |   |   |   | |   | |   | popFail
 190 |   |   |   | |   | |   | ret
 191 |   |   |   | |   | |   <handler>
 192 |   |   |   | |   | |     pushInput
 193 |   |   |   | |   | |     lift Term
 194 |   |   |   | |   | |     choices [(\u1 -> u1)]
 195 |   |   |   | |   | |       <branch>
 196 |   |   |   | |   | |       | push (\u1 -> u1)
 197 |   |   |   | |   | |       | ret
 198 |   |   |   | |   | |       <default>
 199 |   |   |   | |   | |         fail
 200 |   |   |   | |   | call name_18
 201 |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 202 |   |   |   | |   | call name_28
 203 |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 204 |   |   |   | |   | popFail
 205 |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 206 |   |   |   | |   | call name_17
 207 |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 208 |   |   |   | |   | ret
 209 |   |   |   | |   <handler>
 210 |   |   |   | |     loadInput
 211 |   |   |   | |     fail
 212 |   |   |   | call name_22
 213 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 214 |   |   |   | name_15:
 215 |   |   |   | | push (\u1 -> (\u2 -> '('))
 216 |   |   |   | | read ('(' ==)
 217 |   |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 218 |   |   |   | | call name_17
 219 |   |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 220 |   |   |   | | ret
 221 |   |   |   | call name_15
 222 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 223 |   |   |   | name_19:
 224 |   |   |   | | catchFail
 225 |   |   |   | |   <try>
 226 |   |   |   | |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
 227 |   |   |   | |   | name_27:
 228 |   |   |   | |   | | push (\u1 -> (\u2 -> u2))
 229 |   |   |   | |   | | call name_22
 230 |   |   |   | |   | | lift (\u1 -> (\u2 -> u1 u2))
 231 |   |   |   | |   | | join_55:
 232 |   |   |   | |   | | | lift (\u1 -> (\u2 -> u1 u2))
 233 |   |   |   | |   | | | ret
 234 |   |   |   | |   | | catchFail
 235 |   |   |   | |   | |   <try>
 236 |   |   |   | |   | |   | push (\u1 -> Term)
 237 |   |   |   | |   | |   | name_12:
 238 |   |   |   | |   | |   | | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> Term))))))
 239 |   |   |   | |   | |   | | read ('[' ==)
 240 |   |   |   | |   | |   | | lift (\u1 -> (\u2 -> u1 u2))
 241 |   |   |   | |   | |   | | call name_17
 242 |   |   |   | |   | |   | | lift (\u1 -> (\u2 -> u1 u2))
 243 |   |   |   | |   | |   | | name_2:
 244 |   |   |   | |   | |   | | | read Term
 245 |   |   |   | |   | |   | | | ret
 246 |   |   |   | |   | |   | | call name_2
 247 |   |   |   | |   | |   | | lift (\u1 -> (\u2 -> u1 u2))
 248 |   |   |   | |   | |   | | name_14:
 249 |   |   |   | |   | |   | | | catchFail
 250 |   |   |   | |   | |   | | |   <try>
 251 |   |   |   | |   | |   | | |   | push (\u1 -> (\u2 -> (\u3 -> u2 u3)))
 252 |   |   |   | |   | |   | | |   | call name_2
 253 |   |   |   | |   | |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 254 |   |   |   | |   | |   | | |   | call name_14
 255 |   |   |   | |   | |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 256 |   |   |   | |   | |   | | |   | popFail
 257 |   |   |   | |   | |   | | |   | ret
 258 |   |   |   | |   | |   | | |   <handler>
 259 |   |   |   | |   | |   | | |     pushInput
 260 |   |   |   | |   | |   | | |     lift Term
 261 |   |   |   | |   | |   | | |     choices [(\u1 -> u1)]
 262 |   |   |   | |   | |   | | |       <branch>
 263 |   |   |   | |   | |   | | |       | push (\u1 -> u1)
 264 |   |   |   | |   | |   | | |       | ret
 265 |   |   |   | |   | |   | | |       <default>
 266 |   |   |   | |   | |   | | |         fail
 267 |   |   |   | |   | |   | | call name_14
 268 |   |   |   | |   | |   | | lift (\u1 -> (\u2 -> u1 u2))
 269 |   |   |   | |   | |   | | read (']' ==)
 270 |   |   |   | |   | |   | | lift (\u1 -> (\u2 -> u1 u2))
 271 |   |   |   | |   | |   | | call name_17
 272 |   |   |   | |   | |   | | lift (\u1 -> (\u2 -> u1 u2))
 273 |   |   |   | |   | |   | | ret
 274 |   |   |   | |   | |   | call name_12
 275 |   |   |   | |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 276 |   |   |   | |   | |   | popFail
 277 |   |   |   | |   | |   | refJoin join_55
 278 |   |   |   | |   | |   <handler>
 279 |   |   |   | |   | |     pushInput
 280 |   |   |   | |   | |     lift Term
 281 |   |   |   | |   | |     choices [(\u1 -> u1)]
 282 |   |   |   | |   | |       <branch>
 283 |   |   |   | |   | |       | call name_28
 284 |   |   |   | |   | |       | refJoin join_55
 285 |   |   |   | |   | |       <default>
 286 |   |   |   | |   | |         fail
 287 |   |   |   | |   | call name_27
 288 |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 289 |   |   |   | |   | call name_28
 290 |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 291 |   |   |   | |   | name_21:
 292 |   |   |   | |   | | catchFail
 293 |   |   |   | |   | |   <try>
 294 |   |   |   | |   | |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
 295 |   |   |   | |   | |   | name_16:
 296 |   |   |   | |   | |   | | push (\u1 -> (\u2 -> u2))
 297 |   |   |   | |   | |   | | ret
 298 |   |   |   | |   | |   | call name_16
 299 |   |   |   | |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 300 |   |   |   | |   | |   | name_30:
 301 |   |   |   | |   | |   | | push (\u1 -> (\u2 -> ','))
 302 |   |   |   | |   | |   | | read (',' ==)
 303 |   |   |   | |   | |   | | lift (\u1 -> (\u2 -> u1 u2))
 304 |   |   |   | |   | |   | | call name_17
 305 |   |   |   | |   | |   | | lift (\u1 -> (\u2 -> u1 u2))
 306 |   |   |   | |   | |   | | ret
 307 |   |   |   | |   | |   | call name_30
 308 |   |   |   | |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 309 |   |   |   | |   | |   | call name_27
 310 |   |   |   | |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 311 |   |   |   | |   | |   | call name_21
 312 |   |   |   | |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 313 |   |   |   | |   | |   | popFail
 314 |   |   |   | |   | |   | ret
 315 |   |   |   | |   | |   <handler>
 316 |   |   |   | |   | |     pushInput
 317 |   |   |   | |   | |     lift Term
 318 |   |   |   | |   | |     choices [(\u1 -> u1)]
 319 |   |   |   | |   | |       <branch>
 320 |   |   |   | |   | |       | push (\u1 -> u1)
 321 |   |   |   | |   | |       | ret
 322 |   |   |   | |   | |       <default>
 323 |   |   |   | |   | |         fail
 324 |   |   |   | |   | call name_21
 325 |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 326 |   |   |   | |   | call name_28
 327 |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 328 |   |   |   | |   | popFail
 329 |   |   |   | |   | ret
 330 |   |   |   | |   <handler>
 331 |   |   |   | |     pushInput
 332 |   |   |   | |     lift Term
 333 |   |   |   | |     choices [(\u1 -> u1)]
 334 |   |   |   | |       <branch>
 335 |   |   |   | |       | jump name_28
 336 |   |   |   | |       <default>
 337 |   |   |   | |         fail
 338 |   |   |   | call name_19
 339 |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 340 |   |   |   | join_55:
 341 |   |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 342 |   |   |   | | name_10:
 343 |   |   |   | | | push (\u1 -> (\u2 -> ')'))
 344 |   |   |   | | | read (')' ==)
 345 |   |   |   | | | lift (\u1 -> (\u2 -> u1 u2))
 346 |   |   |   | | | call name_17
 347 |   |   |   | | | lift (\u1 -> (\u2 -> u1 u2))
 348 |   |   |   | | | ret
 349 |   |   |   | | call name_10
 350 |   |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 351 |   |   |   | | name_23:
 352 |   |   |   | | | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> u5)))))))
 353 |   |   |   | | | read ('{' ==)
 354 |   |   |   | | | lift (\u1 -> (\u2 -> u1 u2))
 355 |   |   |   | | | call name_17
 356 |   |   |   | | | lift (\u1 -> (\u2 -> u1 u2))
 357 |   |   |   | | | call name_28
 358 |   |   |   | | | lift (\u1 -> (\u2 -> u1 u2))
 359 |   |   |   | | | name_9:
 360 |   |   |   | | | | catchFail
 361 |   |   |   | | | |   <try>
 362 |   |   |   | | | |   | push (\u1 -> (\u2 -> (\u3 -> u2 u3)))
 363 |   |   |   | | | |   | join_55:
 364 |   |   |   | | | |   | | lift (\u1 -> (\u2 -> u1 u2))
 365 |   |   |   | | | |   | | call name_9
 366 |   |   |   | | | |   | | lift (\u1 -> (\u2 -> u1 u2))
 367 |   |   |   | | | |   | | popFail
 368 |   |   |   | | | |   | | ret
 369 |   |   |   | | | |   | catchFail
 370 |   |   |   | | | |   |   <try>
 371 |   |   |   | | | |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u5)))))
 372 |   |   |   | | | |   |   | catchFail
 373 |   |   |   | | | |   |   |   <try>
 374 |   |   |   | | | |   |   |   | push (\u1 -> (\u2 -> u2))
 375 |   |   |   | | | |   |   |   | catchFail
 376 |   |   |   | | | |   |   |   |   <try>
 377 |   |   |   | | | |   |   |   |   | push (\u1 -> (\u2 -> (\u3 -> 'i' : ('f' : u3))))
 378 |   |   |   | | | |   |   |   |   | read ('i' ==)
 379 |   |   |   | | | |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 380 |   |   |   | | | |   |   |   |   | read ('f' ==)
 381 |   |   |   | | | |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 382 |   |   |   | | | |   |   |   |   | call name_29
 383 |   |   |   | | | |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 384 |   |   |   | | | |   |   |   |   | popFail
 385 |   |   |   | | | |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 386 |   |   |   | | | |   |   |   |   | call name_26
 387 |   |   |   | | | |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 388 |   |   |   | | | |   |   |   |   | popFail
 389 |   |   |   | | | |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 390 |   |   |   | | | |   |   |   |   | call name_17
 391 |   |   |   | | | |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 392 |   |   |   | | | |   |   |   |   | name_25:
 393 |   |   |   | | | |   |   |   |   | | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
 394 |   |   |   | | | |   |   |   |   | | name_20:
 395 |   |   |   | | | |   |   |   |   | | | catchFail
 396 |   |   |   | | | |   |   |   |   | | |   <try>
 397 |   |   |   | | | |   |   |   |   | | |   | push (\u1 -> (\u2 -> u2))
 398 |   |   |   | | | |   |   |   |   | | |   | join_55:
 399 |   |   |   | | | |   |   |   |   | | |   | | lift (\u1 -> (\u2 -> u1 u2))
 400 |   |   |   | | | |   |   |   |   | | |   | | call name_17
 401 |   |   |   | | | |   |   |   |   | | |   | | lift (\u1 -> (\u2 -> u1 u2))
 402 |   |   |   | | | |   |   |   |   | | |   | | popFail
 403 |   |   |   | | | |   |   |   |   | | |   | | ret
 404 |   |   |   | | | |   |   |   |   | | |   | catchFail
 405 |   |   |   | | | |   |   |   |   | | |   |   <try>
 406 |   |   |   | | | |   |   |   |   | | |   |   | push (\u1 -> '0')
 407 |   |   |   | | | |   |   |   |   | | |   |   | read ('0' ==)
 408 |   |   |   | | | |   |   |   |   | | |   |   | lift (\u1 -> (\u2 -> u1 u2))
 409 |   |   |   | | | |   |   |   |   | | |   |   | popFail
 410 |   |   |   | | | |   |   |   |   | | |   |   | refJoin join_55
 411 |   |   |   | | | |   |   |   |   | | |   |   <handler>
 412 |   |   |   | | | |   |   |   |   | | |   |     pushInput
 413 |   |   |   | | | |   |   |   |   | | |   |     lift Term
 414 |   |   |   | | | |   |   |   |   | | |   |     choices [(\u1 -> u1)]
 415 |   |   |   | | | |   |   |   |   | | |   |       <branch>
 416 |   |   |   | | | |   |   |   |   | | |   |       | push (\u1 -> '1')
 417 |   |   |   | | | |   |   |   |   | | |   |       | read ('1' ==)
 418 |   |   |   | | | |   |   |   |   | | |   |       | lift (\u1 -> (\u2 -> u1 u2))
 419 |   |   |   | | | |   |   |   |   | | |   |       | refJoin join_55
 420 |   |   |   | | | |   |   |   |   | | |   |       <default>
 421 |   |   |   | | | |   |   |   |   | | |   |         fail
 422 |   |   |   | | | |   |   |   |   | | |   <handler>
 423 |   |   |   | | | |   |   |   |   | | |     pushInput
 424 |   |   |   | | | |   |   |   |   | | |     lift Term
 425 |   |   |   | | | |   |   |   |   | | |     choices [(\u1 -> u1)]
 426 |   |   |   | | | |   |   |   |   | | |       <branch>
 427 |   |   |   | | | |   |   |   |   | | |       | catchFail
 428 |   |   |   | | | |   |   |   |   | | |       |   <try>
 429 |   |   |   | | | |   |   |   |   | | |       |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> u2))))
 430 |   |   |   | | | |   |   |   |   | | |       |   | read ('\'' ==)
 431 |   |   |   | | | |   |   |   |   | | |       |   | lift (\u1 -> (\u2 -> u1 u2))
 432 |   |   |   | | | |   |   |   |   | | |       |   | join_55:
 433 |   |   |   | | | |   |   |   |   | | |       |   | | lift (\u1 -> (\u2 -> u1 u2))
 434 |   |   |   | | | |   |   |   |   | | |       |   | | read ('\'' ==)
 435 |   |   |   | | | |   |   |   |   | | |       |   | | lift (\u1 -> (\u2 -> u1 u2))
 436 |   |   |   | | | |   |   |   |   | | |       |   | | call name_17
 437 |   |   |   | | | |   |   |   |   | | |       |   | | lift (\u1 -> (\u2 -> u1 u2))
 438 |   |   |   | | | |   |   |   |   | | |       |   | | popFail
 439 |   |   |   | | | |   |   |   |   | | |       |   | | ret
 440 |   |   |   | | | |   |   |   |   | | |       |   | catchFail
 441 |   |   |   | | | |   |   |   |   | | |       |   |   <try>
 442 |   |   |   | | | |   |   |   |   | | |       |   |   | push (\u1 -> (\u2 -> u2))
 443 |   |   |   | | | |   |   |   |   | | |       |   |   | read Term
 444 |   |   |   | | | |   |   |   |   | | |       |   |   | lift (\u1 -> (\u2 -> u1 u2))
 445 |   |   |   | | | |   |   |   |   | | |       |   |   | call name_28
 446 |   |   |   | | | |   |   |   |   | | |       |   |   | lift (\u1 -> (\u2 -> u1 u2))
 447 |   |   |   | | | |   |   |   |   | | |       |   |   | popFail
 448 |   |   |   | | | |   |   |   |   | | |       |   |   | refJoin join_55
 449 |   |   |   | | | |   |   |   |   | | |       |   |   <handler>
 450 |   |   |   | | | |   |   |   |   | | |       |   |     pushInput
 451 |   |   |   | | | |   |   |   |   | | |       |   |     lift Term
 452 |   |   |   | | | |   |   |   |   | | |       |   |     choices [(\u1 -> u1)]
 453 |   |   |   | | | |   |   |   |   | | |       |   |       <branch>
 454 |   |   |   | | | |   |   |   |   | | |       |   |       | push (\u1 -> (\u2 -> (\u3 -> u3)))
 455 |   |   |   | | | |   |   |   |   | | |       |   |       | read ('\\' ==)
 456 |   |   |   | | | |   |   |   |   | | |       |   |       | lift (\u1 -> (\u2 -> u1 u2))
 457 |   |   |   | | | |   |   |   |   | | |       |   |       | read Term
 458 |   |   |   | | | |   |   |   |   | | |       |   |       | lift (\u1 -> (\u2 -> u1 u2))
 459 |   |   |   | | | |   |   |   |   | | |       |   |       | call name_28
 460 |   |   |   | | | |   |   |   |   | | |       |   |       | lift (\u1 -> (\u2 -> u1 u2))
 461 |   |   |   | | | |   |   |   |   | | |       |   |       | refJoin join_55
 462 |   |   |   | | | |   |   |   |   | | |       |   |       <default>
 463 |   |   |   | | | |   |   |   |   | | |       |   |         fail
 464 |   |   |   | | | |   |   |   |   | | |       |   <handler>
 465 |   |   |   | | | |   |   |   |   | | |       |     pushInput
 466 |   |   |   | | | |   |   |   |   | | |       |     lift Term
 467 |   |   |   | | | |   |   |   |   | | |       |     choices [(\u1 -> u1)]
 468 |   |   |   | | | |   |   |   |   | | |       |       <branch>
 469 |   |   |   | | | |   |   |   |   | | |       |       | push (\u1 -> (\u2 -> u2))
 470 |   |   |   | | | |   |   |   |   | | |       |       | call name_22
 471 |   |   |   | | | |   |   |   |   | | |       |       | lift (\u1 -> (\u2 -> u1 u2))
 472 |   |   |   | | | |   |   |   |   | | |       |       | join_55:
 473 |   |   |   | | | |   |   |   |   | | |       |       | | lift (\u1 -> (\u2 -> u1 u2))
 474 |   |   |   | | | |   |   |   |   | | |       |       | | ret
 475 |   |   |   | | | |   |   |   |   | | |       |       | catchFail
 476 |   |   |   | | | |   |   |   |   | | |       |       |   <try>
 477 |   |   |   | | | |   |   |   |   | | |       |       |   | push (\u1 -> Term)
 478 |   |   |   | | | |   |   |   |   | | |       |       |   | join_55:
 479 |   |   |   | | | |   |   |   |   | | |       |       |   | | lift (\u1 -> (\u2 -> u1 u2))
 480 |   |   |   | | | |   |   |   |   | | |       |       |   | | popFail
 481 |   |   |   | | | |   |   |   |   | | |       |       |   | | refJoin join_55
 482 |   |   |   | | | |   |   |   |   | | |       |       |   | catchFail
 483 |   |   |   | | | |   |   |   |   | | |       |       |   |   <try>
 484 |   |   |   | | | |   |   |   |   | | |       |       |   |   | push (\u1 -> (\u2 -> (\u3 -> u2)))
 485 |   |   |   | | | |   |   |   |   | | |       |       |   |   | call name_15
 486 |   |   |   | | | |   |   |   |   | | |       |       |   |   | lift (\u1 -> (\u2 -> u1 u2))
 487 |   |   |   | | | |   |   |   |   | | |       |       |   |   | join_55:
 488 |   |   |   | | | |   |   |   |   | | |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 489 |   |   |   | | | |   |   |   |   | | |       |       |   |   | | call name_10
 490 |   |   |   | | | |   |   |   |   | | |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 491 |   |   |   | | | |   |   |   |   | | |       |       |   |   | | popFail
 492 |   |   |   | | | |   |   |   |   | | |       |       |   |   | | refJoin join_55
 493 |   |   |   | | | |   |   |   |   | | |       |       |   |   | catchFail
 494 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   <try>
 495 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> Term))))
 496 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | call name_25
 497 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 498 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | call name_28
 499 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 500 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | name_13:
 501 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | | catchFail
 502 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   <try>
 503 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
 504 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | call name_16
 505 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 506 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | call name_30
 507 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 508 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | call name_25
 509 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 510 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | call name_13
 511 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | lift (\u1 -> (\u2 -> u1 u2))
 512 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | popFail
 513 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   | ret
 514 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |   <handler>
 515 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |     pushInput
 516 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |     lift Term
 517 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |     choices [(\u1 -> u1)]
 518 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |       <branch>
 519 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |       | push (\u1 -> u1)
 520 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |       | ret
 521 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |       <default>
 522 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | |         fail
 523 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | call name_13
 524 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 525 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | call name_28
 526 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 527 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | popFail
 528 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   | refJoin join_55
 529 |   |   |   | | | |   |   |   |   | | |       |       |   |   |   <handler>
 530 |   |   |   | | | |   |   |   |   | | |       |       |   |   |     pushInput
 531 |   |   |   | | | |   |   |   |   | | |       |       |   |   |     lift Term
 532 |   |   |   | | | |   |   |   |   | | |       |       |   |   |     choices [(\u1 -> u1)]
 533 |   |   |   | | | |   |   |   |   | | |       |       |   |   |       <branch>
 534 |   |   |   | | | |   |   |   |   | | |       |       |   |   |       | call name_28
 535 |   |   |   | | | |   |   |   |   | | |       |       |   |   |       | refJoin join_55
 536 |   |   |   | | | |   |   |   |   | | |       |       |   |   |       <default>
 537 |   |   |   | | | |   |   |   |   | | |       |       |   |   |         fail
 538 |   |   |   | | | |   |   |   |   | | |       |       |   |   <handler>
 539 |   |   |   | | | |   |   |   |   | | |       |       |   |     pushInput
 540 |   |   |   | | | |   |   |   |   | | |       |       |   |     lift Term
 541 |   |   |   | | | |   |   |   |   | | |       |       |   |     choices [(\u1 -> u1)]
 542 |   |   |   | | | |   |   |   |   | | |       |       |   |       <branch>
 543 |   |   |   | | | |   |   |   |   | | |       |       |   |       | call name_12
 544 |   |   |   | | | |   |   |   |   | | |       |       |   |       | refJoin join_55
 545 |   |   |   | | | |   |   |   |   | | |       |       |   |       <default>
 546 |   |   |   | | | |   |   |   |   | | |       |       |   |         fail
 547 |   |   |   | | | |   |   |   |   | | |       |       |   <handler>
 548 |   |   |   | | | |   |   |   |   | | |       |       |     pushInput
 549 |   |   |   | | | |   |   |   |   | | |       |       |     lift Term
 550 |   |   |   | | | |   |   |   |   | | |       |       |     choices [(\u1 -> u1)]
 551 |   |   |   | | | |   |   |   |   | | |       |       |       <branch>
 552 |   |   |   | | | |   |   |   |   | | |       |       |       | call name_28
 553 |   |   |   | | | |   |   |   |   | | |       |       |       | refJoin join_55
 554 |   |   |   | | | |   |   |   |   | | |       |       |       <default>
 555 |   |   |   | | | |   |   |   |   | | |       |       |         fail
 556 |   |   |   | | | |   |   |   |   | | |       |       <default>
 557 |   |   |   | | | |   |   |   |   | | |       |         fail
 558 |   |   |   | | | |   |   |   |   | | |       <default>
 559 |   |   |   | | | |   |   |   |   | | |         fail
 560 |   |   |   | | | |   |   |   |   | | call name_20
 561 |   |   |   | | | |   |   |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 562 |   |   |   | | | |   |   |   |   | | call name_28
 563 |   |   |   | | | |   |   |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 564 |   |   |   | | | |   |   |   |   | | name_8:
 565 |   |   |   | | | |   |   |   |   | | | catchFail
 566 |   |   |   | | | |   |   |   |   | | |   <try>
 567 |   |   |   | | | |   |   |   |   | | |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> u4 u5)))))
 568 |   |   |   | | | |   |   |   |   | | |   | read ('!' ==)
 569 |   |   |   | | | |   |   |   |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 570 |   |   |   | | | |   |   |   |   | | |   | call name_17
 571 |   |   |   | | | |   |   |   |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 572 |   |   |   | | | |   |   |   |   | | |   | call name_20
 573 |   |   |   | | | |   |   |   |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 574 |   |   |   | | | |   |   |   |   | | |   | call name_8
 575 |   |   |   | | | |   |   |   |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 576 |   |   |   | | | |   |   |   |   | | |   | popFail
 577 |   |   |   | | | |   |   |   |   | | |   | ret
 578 |   |   |   | | | |   |   |   |   | | |   <handler>
 579 |   |   |   | | | |   |   |   |   | | |     pushInput
 580 |   |   |   | | | |   |   |   |   | | |     lift Term
 581 |   |   |   | | | |   |   |   |   | | |     choices [(\u1 -> u1)]
 582 |   |   |   | | | |   |   |   |   | | |       <branch>
 583 |   |   |   | | | |   |   |   |   | | |       | push (\u1 -> u1)
 584 |   |   |   | | | |   |   |   |   | | |       | ret
 585 |   |   |   | | | |   |   |   |   | | |       <default>
 586 |   |   |   | | | |   |   |   |   | | |         fail
 587 |   |   |   | | | |   |   |   |   | | call name_8
 588 |   |   |   | | | |   |   |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 589 |   |   |   | | | |   |   |   |   | | call name_28
 590 |   |   |   | | | |   |   |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 591 |   |   |   | | | |   |   |   |   | | ret
 592 |   |   |   | | | |   |   |   |   | call name_25
 593 |   |   |   | | | |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 594 |   |   |   | | | |   |   |   |   | call name_23
 595 |   |   |   | | | |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 596 |   |   |   | | | |   |   |   |   | join_55:
 597 |   |   |   | | | |   |   |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 598 |   |   |   | | | |   |   |   |   | | popFail
 599 |   |   |   | | | |   |   |   |   | | refJoin join_55
 600 |   |   |   | | | |   |   |   |   | catchFail
 601 |   |   |   | | | |   |   |   |   |   <try>
 602 |   |   |   | | | |   |   |   |   |   | push (\u1 -> (\u2 -> (\u3 -> Term)))
 603 |   |   |   | | | |   |   |   |   |   | catchFail
 604 |   |   |   | | | |   |   |   |   |   |   <try>
 605 |   |   |   | | | |   |   |   |   |   |   | push (\u1 -> (\u2 -> u2))
 606 |   |   |   | | | |   |   |   |   |   |   | catchFail
 607 |   |   |   | | | |   |   |   |   |   |   |   <try>
 608 |   |   |   | | | |   |   |   |   |   |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> 'e' : ('l' : ('s' : ('e' : u5))))))))
 609 |   |   |   | | | |   |   |   |   |   |   |   | read ('e' ==)
 610 |   |   |   | | | |   |   |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 611 |   |   |   | | | |   |   |   |   |   |   |   | read ('l' ==)
 612 |   |   |   | | | |   |   |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 613 |   |   |   | | | |   |   |   |   |   |   |   | read ('s' ==)
 614 |   |   |   | | | |   |   |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 615 |   |   |   | | | |   |   |   |   |   |   |   | read ('e' ==)
 616 |   |   |   | | | |   |   |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 617 |   |   |   | | | |   |   |   |   |   |   |   | call name_29
 618 |   |   |   | | | |   |   |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 619 |   |   |   | | | |   |   |   |   |   |   |   | popFail
 620 |   |   |   | | | |   |   |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 621 |   |   |   | | | |   |   |   |   |   |   |   | call name_26
 622 |   |   |   | | | |   |   |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 623 |   |   |   | | | |   |   |   |   |   |   |   | popFail
 624 |   |   |   | | | |   |   |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 625 |   |   |   | | | |   |   |   |   |   |   |   | call name_17
 626 |   |   |   | | | |   |   |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 627 |   |   |   | | | |   |   |   |   |   |   |   | call name_23
 628 |   |   |   | | | |   |   |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 629 |   |   |   | | | |   |   |   |   |   |   |   | popFail
 630 |   |   |   | | | |   |   |   |   |   |   |   | refJoin join_55
 631 |   |   |   | | | |   |   |   |   |   |   |   <handler>
 632 |   |   |   | | | |   |   |   |   |   |   |     loadInput
 633 |   |   |   | | | |   |   |   |   |   |   |     fail
 634 |   |   |   | | | |   |   |   |   |   |   <handler>
 635 |   |   |   | | | |   |   |   |   |   |     loadInput
 636 |   |   |   | | | |   |   |   |   |   |     fail
 637 |   |   |   | | | |   |   |   |   |   <handler>
 638 |   |   |   | | | |   |   |   |   |     pushInput
 639 |   |   |   | | | |   |   |   |   |     lift Term
 640 |   |   |   | | | |   |   |   |   |     choices [(\u1 -> u1)]
 641 |   |   |   | | | |   |   |   |   |       <branch>
 642 |   |   |   | | | |   |   |   |   |       | call name_28
 643 |   |   |   | | | |   |   |   |   |       | refJoin join_55
 644 |   |   |   | | | |   |   |   |   |       <default>
 645 |   |   |   | | | |   |   |   |   |         fail
 646 |   |   |   | | | |   |   |   |   <handler>
 647 |   |   |   | | | |   |   |   |     loadInput
 648 |   |   |   | | | |   |   |   |     fail
 649 |   |   |   | | | |   |   |   <handler>
 650 |   |   |   | | | |   |   |     loadInput
 651 |   |   |   | | | |   |   |     fail
 652 |   |   |   | | | |   |   <handler>
 653 |   |   |   | | | |   |     pushInput
 654 |   |   |   | | | |   |     lift Term
 655 |   |   |   | | | |   |     choices [(\u1 -> u1)]
 656 |   |   |   | | | |   |       <branch>
 657 |   |   |   | | | |   |       | catchFail
 658 |   |   |   | | | |   |       |   <try>
 659 |   |   |   | | | |   |       |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> u4))))
 660 |   |   |   | | | |   |       |   | catchFail
 661 |   |   |   | | | |   |       |   |   <try>
 662 |   |   |   | | | |   |       |   |   | push (\u1 -> (\u2 -> u2))
 663 |   |   |   | | | |   |       |   |   | catchFail
 664 |   |   |   | | | |   |       |   |   |   <try>
 665 |   |   |   | | | |   |       |   |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> 'w' : ('h' : ('i' : ('l' : ('e' : u6))))))))))
 666 |   |   |   | | | |   |       |   |   |   | read ('w' ==)
 667 |   |   |   | | | |   |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 668 |   |   |   | | | |   |       |   |   |   | read ('h' ==)
 669 |   |   |   | | | |   |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 670 |   |   |   | | | |   |       |   |   |   | read ('i' ==)
 671 |   |   |   | | | |   |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 672 |   |   |   | | | |   |       |   |   |   | read ('l' ==)
 673 |   |   |   | | | |   |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 674 |   |   |   | | | |   |       |   |   |   | read ('e' ==)
 675 |   |   |   | | | |   |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 676 |   |   |   | | | |   |       |   |   |   | call name_29
 677 |   |   |   | | | |   |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 678 |   |   |   | | | |   |       |   |   |   | popFail
 679 |   |   |   | | | |   |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 680 |   |   |   | | | |   |       |   |   |   | call name_26
 681 |   |   |   | | | |   |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 682 |   |   |   | | | |   |       |   |   |   | popFail
 683 |   |   |   | | | |   |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 684 |   |   |   | | | |   |       |   |   |   | call name_17
 685 |   |   |   | | | |   |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 686 |   |   |   | | | |   |       |   |   |   | call name_25
 687 |   |   |   | | | |   |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 688 |   |   |   | | | |   |       |   |   |   | call name_23
 689 |   |   |   | | | |   |       |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 690 |   |   |   | | | |   |       |   |   |   | popFail
 691 |   |   |   | | | |   |       |   |   |   | refJoin join_55
 692 |   |   |   | | | |   |       |   |   |   <handler>
 693 |   |   |   | | | |   |       |   |   |     loadInput
 694 |   |   |   | | | |   |       |   |   |     fail
 695 |   |   |   | | | |   |       |   |   <handler>
 696 |   |   |   | | | |   |       |   |     loadInput
 697 |   |   |   | | | |   |       |   |     fail
 698 |   |   |   | | | |   |       |   <handler>
 699 |   |   |   | | | |   |       |     pushInput
 700 |   |   |   | | | |   |       |     lift Term
 701 |   |   |   | | | |   |       |     choices [(\u1 -> u1)]
 702 |   |   |   | | | |   |       |       <branch>
 703 |   |   |   | | | |   |       |       | catchFail
 704 |   |   |   | | | |   |       |       |   <try>
 705 |   |   |   | | | |   |       |       |   | catchFail
 706 |   |   |   | | | |   |       |       |   |   <try>
 707 |   |   |   | | | |   |       |       |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (\u6 -> (\u7 -> (\u8 -> (\u9 -> (\u10 -> (\u11 -> (\u12 -> u11))))))))))))
 708 |   |   |   | | | |   |       |       |   |   | join_55:
 709 |   |   |   | | | |   |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 710 |   |   |   | | | |   |       |       |   |   | | call name_27
 711 |   |   |   | | | |   |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 712 |   |   |   | | | |   |       |       |   |   | | call name_28
 713 |   |   |   | | | |   |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 714 |   |   |   | | | |   |       |       |   |   | | name_3:
 715 |   |   |   | | | |   |       |       |   |   | | | catchFail
 716 |   |   |   | | | |   |       |       |   |   | | |   <try>
 717 |   |   |   | | | |   |       |       |   |   | | |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
 718 |   |   |   | | | |   |       |       |   |   | | |   | call name_16
 719 |   |   |   | | | |   |       |       |   |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 720 |   |   |   | | | |   |       |       |   |   | | |   | call name_30
 721 |   |   |   | | | |   |       |       |   |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 722 |   |   |   | | | |   |       |       |   |   | | |   | call name_27
 723 |   |   |   | | | |   |       |       |   |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 724 |   |   |   | | | |   |       |       |   |   | | |   | call name_3
 725 |   |   |   | | | |   |       |       |   |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 726 |   |   |   | | | |   |       |       |   |   | | |   | popFail
 727 |   |   |   | | | |   |       |       |   |   | | |   | ret
 728 |   |   |   | | | |   |       |       |   |   | | |   <handler>
 729 |   |   |   | | | |   |       |       |   |   | | |     pushInput
 730 |   |   |   | | | |   |       |       |   |   | | |     lift Term
 731 |   |   |   | | | |   |       |       |   |   | | |     choices [(\u1 -> u1)]
 732 |   |   |   | | | |   |       |       |   |   | | |       <branch>
 733 |   |   |   | | | |   |       |       |   |   | | |       | push (\u1 -> u1)
 734 |   |   |   | | | |   |       |       |   |   | | |       | ret
 735 |   |   |   | | | |   |       |       |   |   | | |       <default>
 736 |   |   |   | | | |   |       |       |   |   | | |         fail
 737 |   |   |   | | | |   |       |       |   |   | | call name_3
 738 |   |   |   | | | |   |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 739 |   |   |   | | | |   |       |       |   |   | | call name_28
 740 |   |   |   | | | |   |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 741 |   |   |   | | | |   |       |       |   |   | | read ('=' ==)
 742 |   |   |   | | | |   |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 743 |   |   |   | | | |   |       |       |   |   | | call name_17
 744 |   |   |   | | | |   |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 745 |   |   |   | | | |   |       |       |   |   | | call name_25
 746 |   |   |   | | | |   |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 747 |   |   |   | | | |   |       |       |   |   | | call name_28
 748 |   |   |   | | | |   |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 749 |   |   |   | | | |   |       |       |   |   | | name_1:
 750 |   |   |   | | | |   |       |       |   |   | | | catchFail
 751 |   |   |   | | | |   |       |       |   |   | | |   <try>
 752 |   |   |   | | | |   |       |       |   |   | | |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> (\u5 -> (u1 u3) (u4 u5))))))
 753 |   |   |   | | | |   |       |       |   |   | | |   | call name_16
 754 |   |   |   | | | |   |       |       |   |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 755 |   |   |   | | | |   |       |       |   |   | | |   | call name_30
 756 |   |   |   | | | |   |       |       |   |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 757 |   |   |   | | | |   |       |       |   |   | | |   | call name_25
 758 |   |   |   | | | |   |       |       |   |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 759 |   |   |   | | | |   |       |       |   |   | | |   | call name_1
 760 |   |   |   | | | |   |       |       |   |   | | |   | lift (\u1 -> (\u2 -> u1 u2))
 761 |   |   |   | | | |   |       |       |   |   | | |   | popFail
 762 |   |   |   | | | |   |       |       |   |   | | |   | ret
 763 |   |   |   | | | |   |       |       |   |   | | |   <handler>
 764 |   |   |   | | | |   |       |       |   |   | | |     pushInput
 765 |   |   |   | | | |   |       |       |   |   | | |     lift Term
 766 |   |   |   | | | |   |       |       |   |   | | |     choices [(\u1 -> u1)]
 767 |   |   |   | | | |   |       |       |   |   | | |       <branch>
 768 |   |   |   | | | |   |       |       |   |   | | |       | push (\u1 -> u1)
 769 |   |   |   | | | |   |       |       |   |   | | |       | ret
 770 |   |   |   | | | |   |       |       |   |   | | |       <default>
 771 |   |   |   | | | |   |       |       |   |   | | |         fail
 772 |   |   |   | | | |   |       |       |   |   | | call name_1
 773 |   |   |   | | | |   |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 774 |   |   |   | | | |   |       |       |   |   | | call name_28
 775 |   |   |   | | | |   |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 776 |   |   |   | | | |   |       |       |   |   | | name_11:
 777 |   |   |   | | | |   |       |       |   |   | | | push (\u1 -> (\u2 -> ';'))
 778 |   |   |   | | | |   |       |       |   |   | | | read (';' ==)
 779 |   |   |   | | | |   |       |       |   |   | | | lift (\u1 -> (\u2 -> u1 u2))
 780 |   |   |   | | | |   |       |       |   |   | | | call name_17
 781 |   |   |   | | | |   |       |       |   |   | | | lift (\u1 -> (\u2 -> u1 u2))
 782 |   |   |   | | | |   |       |       |   |   | | | ret
 783 |   |   |   | | | |   |       |       |   |   | | call name_11
 784 |   |   |   | | | |   |       |       |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 785 |   |   |   | | | |   |       |       |   |   | | popFail
 786 |   |   |   | | | |   |       |       |   |   | | popFail
 787 |   |   |   | | | |   |       |       |   |   | | refJoin join_55
 788 |   |   |   | | | |   |       |       |   |   | catchFail
 789 |   |   |   | | | |   |       |       |   |   |   <try>
 790 |   |   |   | | | |   |       |       |   |   |   | push (\u1 -> (\u2 -> Term))
 791 |   |   |   | | | |   |       |       |   |   |   | catchFail
 792 |   |   |   | | | |   |       |       |   |   |   |   <try>
 793 |   |   |   | | | |   |       |       |   |   |   |   | push (\u1 -> (\u2 -> u2))
 794 |   |   |   | | | |   |       |       |   |   |   |   | catchFail
 795 |   |   |   | | | |   |       |       |   |   |   |   |   <try>
 796 |   |   |   | | | |   |       |       |   |   |   |   |   | push (\u1 -> (\u2 -> (\u3 -> (\u4 -> 'v' : ('a' : ('r' : u4))))))
 797 |   |   |   | | | |   |       |       |   |   |   |   |   | read ('v' ==)
 798 |   |   |   | | | |   |       |       |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 799 |   |   |   | | | |   |       |       |   |   |   |   |   | read ('a' ==)
 800 |   |   |   | | | |   |       |       |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 801 |   |   |   | | | |   |       |       |   |   |   |   |   | read ('r' ==)
 802 |   |   |   | | | |   |       |       |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 803 |   |   |   | | | |   |       |       |   |   |   |   |   | call name_29
 804 |   |   |   | | | |   |       |       |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 805 |   |   |   | | | |   |       |       |   |   |   |   |   | popFail
 806 |   |   |   | | | |   |       |       |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 807 |   |   |   | | | |   |       |       |   |   |   |   |   | call name_26
 808 |   |   |   | | | |   |       |       |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 809 |   |   |   | | | |   |       |       |   |   |   |   |   | popFail
 810 |   |   |   | | | |   |       |       |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 811 |   |   |   | | | |   |       |       |   |   |   |   |   | call name_17
 812 |   |   |   | | | |   |       |       |   |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 813 |   |   |   | | | |   |       |       |   |   |   |   |   | popFail
 814 |   |   |   | | | |   |       |       |   |   |   |   |   | refJoin join_55
 815 |   |   |   | | | |   |       |       |   |   |   |   |   <handler>
 816 |   |   |   | | | |   |       |       |   |   |   |   |     loadInput
 817 |   |   |   | | | |   |       |       |   |   |   |   |     fail
 818 |   |   |   | | | |   |       |       |   |   |   |   <handler>
 819 |   |   |   | | | |   |       |       |   |   |   |     loadInput
 820 |   |   |   | | | |   |       |       |   |   |   |     fail
 821 |   |   |   | | | |   |       |       |   |   |   <handler>
 822 |   |   |   | | | |   |       |       |   |   |     pushInput
 823 |   |   |   | | | |   |       |       |   |   |     lift Term
 824 |   |   |   | | | |   |       |       |   |   |     choices [(\u1 -> u1)]
 825 |   |   |   | | | |   |       |       |   |   |       <branch>
 826 |   |   |   | | | |   |       |       |   |   |       | call name_28
 827 |   |   |   | | | |   |       |       |   |   |       | refJoin join_55
 828 |   |   |   | | | |   |       |       |   |   |       <default>
 829 |   |   |   | | | |   |       |       |   |   |         fail
 830 |   |   |   | | | |   |       |       |   |   <handler>
 831 |   |   |   | | | |   |       |       |   |     loadInput
 832 |   |   |   | | | |   |       |       |   |     fail
 833 |   |   |   | | | |   |       |       |   <handler>
 834 |   |   |   | | | |   |       |       |     pushInput
 835 |   |   |   | | | |   |       |       |     lift Term
 836 |   |   |   | | | |   |       |       |     choices [(\u1 -> u1)]
 837 |   |   |   | | | |   |       |       |       <branch>
 838 |   |   |   | | | |   |       |       |       | push (\u1 -> (\u2 -> u1))
 839 |   |   |   | | | |   |       |       |       | call name_25
 840 |   |   |   | | | |   |       |       |       | lift (\u1 -> (\u2 -> u1 u2))
 841 |   |   |   | | | |   |       |       |       | call name_11
 842 |   |   |   | | | |   |       |       |       | lift (\u1 -> (\u2 -> u1 u2))
 843 |   |   |   | | | |   |       |       |       | refJoin join_55
 844 |   |   |   | | | |   |       |       |       <default>
 845 |   |   |   | | | |   |       |       |         fail
 846 |   |   |   | | | |   |       |       <default>
 847 |   |   |   | | | |   |       |         fail
 848 |   |   |   | | | |   |       <default>
 849 |   |   |   | | | |   |         fail
 850 |   |   |   | | | |   <handler>
 851 |   |   |   | | | |     pushInput
 852 |   |   |   | | | |     lift Term
 853 |   |   |   | | | |     choices [(\u1 -> u1)]
 854 |   |   |   | | | |       <branch>
 855 |   |   |   | | | |       | push (\u1 -> u1)
 856 |   |   |   | | | |       | ret
 857 |   |   |   | | | |       <default>
 858 |   |   |   | | | |         fail
 859 |   |   |   | | | call name_9
 860 |   |   |   | | | lift (\u1 -> (\u2 -> u1 u2))
 861 |   |   |   | | | call name_28
 862 |   |   |   | | | lift (\u1 -> (\u2 -> u1 u2))
 863 |   |   |   | | | read ('}' ==)
 864 |   |   |   | | | lift (\u1 -> (\u2 -> u1 u2))
 865 |   |   |   | | | call name_17
 866 |   |   |   | | | lift (\u1 -> (\u2 -> u1 u2))
 867 |   |   |   | | | ret
 868 |   |   |   | | call name_23
 869 |   |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 870 |   |   |   | | call name_5
 871 |   |   |   | | lift (\u1 -> (\u2 -> u1 u2))
 872 |   |   |   | | popFail
 873 |   |   |   | | ret
 874 |   |   |   | catchFail
 875 |   |   |   |   <try>
 876 |   |   |   |   | push (\u1 -> (\u2 -> (\u3 -> Term)))
 877 |   |   |   |   | read (':' ==)
 878 |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 879 |   |   |   |   | call name_17
 880 |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 881 |   |   |   |   | call name_19
 882 |   |   |   |   | lift (\u1 -> (\u2 -> u1 u2))
 883 |   |   |   |   | popFail
 884 |   |   |   |   | refJoin join_55
 885 |   |   |   |   <handler>
 886 |   |   |   |     pushInput
 887 |   |   |   |     lift Term
 888 |   |   |   |     choices [(\u1 -> u1)]
 889 |   |   |   |       <branch>
 890 |   |   |   |       | call name_28
 891 |   |   |   |       | refJoin join_55
 892 |   |   |   |       <default>
 893 |   |   |   |         fail
 894 |   |   |   <handler>
 895 |   |   |     loadInput
 896 |   |   |     fail
 897 |   |   <handler>
 898 |   |     loadInput
 899 |   |     fail
 900 |   <handler>
 901 |     pushInput
 902 |     lift Term
 903 |     choices [(\u1 -> u1)]
 904 |       <branch>
 905 |       | push (\u1 -> u1)
 906 |       | ret
 907 |       <default>
 908 |         fail
 909 call name_5
 910 lift (\u1 -> (\u2 -> u1 u2))
 911 call name_28
 912 lift (\u1 -> (\u2 -> u1 u2))
 913 join_55:
 914 | lift (\u1 -> (\u2 -> u1 u2))
 915 | ret
 916 catchFail
 917   <try>
 918   | catchFail
 919   |   <try>
 920   |   | pushInput
 921   |   | read (\u1 -> Term)
 922   |   | pop
 923   |   | popFail
 924   |   | loadInput
 925   |   | fail
 926   |   <handler>
 927   |     loadInput
 928   |     push Term
 929   |     popFail
 930   |     refJoin join_55
 931   <handler>
 932     pushInput
 933     lift Term
 934     choices [(\u1 -> u1)]
 935       <branch>
 936       | fail
 937       <default>
 938         fail