test/Golden/Machine/G14.expected.txt

   1 let <hidden>
   2   minReads=(Right 0)
   3   mayRaise=[]
   4 | catchException "fail"
   5 |   minReads=(Right 0)
   6 |   mayRaise=[]
   7 | | <ok>
   8 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
   9 | | |   minReads=(Right 1)
  10 | | |   mayRaise=["fail"]
  11 | | | pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
  12 | | |   minReads=(Right 1)
  13 | | |   mayRaise=["fail"]
  14 | | | pushValue (\u1 -> (\u2 -> u1))
  15 | | |   minReads=(Right 1)
  16 | | |   mayRaise=["fail"]
  17 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  18 | | |   minReads=(Right 1)
  19 | | |   mayRaise=["fail"]
  20 | | | call <hidden>
  21 | | |   minReads=(Right 1)
  22 | | |   mayRaise=["fail"]
  23 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  24 | | |   minReads=(Right 0)
  25 | | |   mayRaise=[]
  26 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  27 | | |   minReads=(Right 0)
  28 | | |   mayRaise=[]
  29 | | | call <hidden>
  30 | | |   minReads=(Right 0)
  31 | | |   mayRaise=[]
  32 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  33 | | |   minReads=(Right 0)
  34 | | |   mayRaise=[]
  35 | | | popException "fail"
  36 | | |   minReads=(Right 0)
  37 | | |   mayRaise=[]
  38 | | | ret
  39 | | |   minReads=(Right 0)
  40 | | |   mayRaise=[]
  41 | | <ko>
  42 | | | pushInput
  43 | | |   minReads=(Right 0)
  44 | | |   mayRaise=["fail"]
  45 | | | lift2Value Term
  46 | | |   minReads=(Right 0)
  47 | | |   mayRaise=["fail"]
  48 | | | choicesBranch [(\u1 -> u1)]
  49 | | |   minReads=(Right 0)
  50 | | |   mayRaise=["fail"]
  51 | | | | <branch>
  52 | | | | | pushValue (\u1 -> u1)
  53 | | | | |   minReads=(Right 0)
  54 | | | | |   mayRaise=[]
  55 | | | | | ret
  56 | | | | |   minReads=(Right 0)
  57 | | | | |   mayRaise=[]
  58 | | | | <default>
  59 | | | | | raiseException "fail"
  60 | | | | |   minReads=(Left "fail")
  61 | | | | |   mayRaise=["fail"]
  62 let <hidden>
  63   minReads=(Right 0)
  64   mayRaise=[]
  65 | catchException "fail"
  66 |   minReads=(Right 0)
  67 |   mayRaise=[]
  68 | | <ok>
  69 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
  70 | | |   minReads=(Right 1)
  71 | | |   mayRaise=["fail"]
  72 | | | pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
  73 | | |   minReads=(Right 1)
  74 | | |   mayRaise=["fail"]
  75 | | | pushValue (\u1 -> (\u2 -> u1))
  76 | | |   minReads=(Right 1)
  77 | | |   mayRaise=["fail"]
  78 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  79 | | |   minReads=(Right 1)
  80 | | |   mayRaise=["fail"]
  81 | | | call <hidden>
  82 | | |   minReads=(Right 1)
  83 | | |   mayRaise=["fail"]
  84 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  85 | | |   minReads=(Right 0)
  86 | | |   mayRaise=[]
  87 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  88 | | |   minReads=(Right 0)
  89 | | |   mayRaise=[]
  90 | | | call <hidden>
  91 | | |   minReads=(Right 0)
  92 | | |   mayRaise=[]
  93 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
  94 | | |   minReads=(Right 0)
  95 | | |   mayRaise=[]
  96 | | | popException "fail"
  97 | | |   minReads=(Right 0)
  98 | | |   mayRaise=[]
  99 | | | ret
 100 | | |   minReads=(Right 0)
 101 | | |   mayRaise=[]
 102 | | <ko>
 103 | | | pushInput
 104 | | |   minReads=(Right 0)
 105 | | |   mayRaise=["fail"]
 106 | | | lift2Value Term
 107 | | |   minReads=(Right 0)
 108 | | |   mayRaise=["fail"]
 109 | | | choicesBranch [(\u1 -> u1)]
 110 | | |   minReads=(Right 0)
 111 | | |   mayRaise=["fail"]
 112 | | | | <branch>
 113 | | | | | pushValue (\u1 -> u1)
 114 | | | | |   minReads=(Right 0)
 115 | | | | |   mayRaise=[]
 116 | | | | | ret
 117 | | | | |   minReads=(Right 0)
 118 | | | | |   mayRaise=[]
 119 | | | | <default>
 120 | | | | | raiseException "fail"
 121 | | | | |   minReads=(Left "fail")
 122 | | | | |   mayRaise=["fail"]
 123 let <hidden>
 124   minReads=(Right 0)
 125   mayRaise=[]
 126 | catchException "fail"
 127 |   minReads=(Right 0)
 128 |   mayRaise=[]
 129 | | <ok>
 130 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 131 | | |   minReads=(Right 1)
 132 | | |   mayRaise=["fail"]
 133 | | | pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 134 | | |   minReads=(Right 1)
 135 | | |   mayRaise=["fail"]
 136 | | | pushValue (\u1 -> (\u2 -> u1))
 137 | | |   minReads=(Right 1)
 138 | | |   mayRaise=["fail"]
 139 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 140 | | |   minReads=(Right 1)
 141 | | |   mayRaise=["fail"]
 142 | | | read Term
 143 | | |   minReads=(Right 1)
 144 | | |   mayRaise=["fail"]
 145 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 146 | | |   minReads=(Right 0)
 147 | | |   mayRaise=[]
 148 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 149 | | |   minReads=(Right 0)
 150 | | |   mayRaise=[]
 151 | | | call <hidden>
 152 | | |   minReads=(Right 0)
 153 | | |   mayRaise=[]
 154 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 155 | | |   minReads=(Right 0)
 156 | | |   mayRaise=[]
 157 | | | popException "fail"
 158 | | |   minReads=(Right 0)
 159 | | |   mayRaise=[]
 160 | | | ret
 161 | | |   minReads=(Right 0)
 162 | | |   mayRaise=[]
 163 | | <ko>
 164 | | | pushInput
 165 | | |   minReads=(Right 0)
 166 | | |   mayRaise=["fail"]
 167 | | | lift2Value Term
 168 | | |   minReads=(Right 0)
 169 | | |   mayRaise=["fail"]
 170 | | | choicesBranch [(\u1 -> u1)]
 171 | | |   minReads=(Right 0)
 172 | | |   mayRaise=["fail"]
 173 | | | | <branch>
 174 | | | | | pushValue (\u1 -> u1)
 175 | | | | |   minReads=(Right 0)
 176 | | | | |   mayRaise=[]
 177 | | | | | ret
 178 | | | | |   minReads=(Right 0)
 179 | | | | |   mayRaise=[]
 180 | | | | <default>
 181 | | | | | raiseException "fail"
 182 | | | | |   minReads=(Left "fail")
 183 | | | | |   mayRaise=["fail"]
 184 let <hidden>
 185   minReads=(Right 0)
 186   mayRaise=[]
 187 | catchException "fail"
 188 |   minReads=(Right 0)
 189 |   mayRaise=[]
 190 | | <ok>
 191 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 192 | | |   minReads=(Right 18)
 193 | | |   mayRaise=[]
 194 | | | pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 195 | | |   minReads=(Right 18)
 196 | | |   mayRaise=[]
 197 | | | pushValue (\u1 -> (\u2 -> u1))
 198 | | |   minReads=(Right 18)
 199 | | |   mayRaise=[]
 200 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 201 | | |   minReads=(Right 18)
 202 | | |   mayRaise=[]
 203 | | | pushValue (\u1 -> (\u2 -> u1))
 204 | | |   minReads=(Right 18)
 205 | | |   mayRaise=[]
 206 | | | pushValue (\u1 -> u1)
 207 | | |   minReads=(Right 18)
 208 | | |   mayRaise=[]
 209 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 210 | | |   minReads=(Right 18)
 211 | | |   mayRaise=[]
 212 | | | pushValue (\u1 -> (\u2 -> u1))
 213 | | |   minReads=(Right 18)
 214 | | |   mayRaise=[]
 215 | | | pushValue (\u1 -> u1)
 216 | | |   minReads=(Right 18)
 217 | | |   mayRaise=[]
 218 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 219 | | |   minReads=(Right 18)
 220 | | |   mayRaise=[]
 221 | | | pushValue (\u1 -> (\u2 -> u1))
 222 | | |   minReads=(Right 18)
 223 | | |   mayRaise=[]
 224 | | | pushValue (\u1 -> u1)
 225 | | |   minReads=(Right 18)
 226 | | |   mayRaise=[]
 227 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 228 | | |   minReads=(Right 18)
 229 | | |   mayRaise=[]
 230 | | | pushValue (\u1 -> (\u2 -> u1))
 231 | | |   minReads=(Right 18)
 232 | | |   mayRaise=[]
 233 | | | pushValue (\u1 -> u1)
 234 | | |   minReads=(Right 18)
 235 | | |   mayRaise=[]
 236 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 237 | | |   minReads=(Right 18)
 238 | | |   mayRaise=[]
 239 | | | catchException "fail"
 240 | | |   minReads=(Right 18)
 241 | | |   mayRaise=[]
 242 | | | | <ok>
 243 | | | | | pushValue cons
 244 | | | | |   minReads=(Right 18)
 245 | | | | |   mayRaise=["fail"]
 246 | | | | | pushValue (\u1 -> (\u2 -> u1))
 247 | | | | |   minReads=(Right 18)
 248 | | | | |   mayRaise=["fail"]
 249 | | | | | pushValue 'f'
 250 | | | | |   minReads=(Right 18)
 251 | | | | |   mayRaise=["fail"]
 252 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 253 | | | | |   minReads=(Right 18)
 254 | | | | |   mayRaise=["fail"]
 255 | | | | | read ('f' ==)
 256 | | | | |   minReads=(Right 18)
 257 | | | | |   mayRaise=["fail"]
 258 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 259 | | | | |   minReads=(Right 17)
 260 | | | | |   mayRaise=["fail"]
 261 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 262 | | | | |   minReads=(Right 17)
 263 | | | | |   mayRaise=["fail"]
 264 | | | | | pushValue cons
 265 | | | | |   minReads=(Right 17)
 266 | | | | |   mayRaise=["fail"]
 267 | | | | | pushValue (\u1 -> (\u2 -> u1))
 268 | | | | |   minReads=(Right 17)
 269 | | | | |   mayRaise=["fail"]
 270 | | | | | pushValue 'u'
 271 | | | | |   minReads=(Right 17)
 272 | | | | |   mayRaise=["fail"]
 273 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 274 | | | | |   minReads=(Right 17)
 275 | | | | |   mayRaise=["fail"]
 276 | | | | | read ('u' ==)
 277 | | | | |   minReads=(Right 17)
 278 | | | | |   mayRaise=["fail"]
 279 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 280 | | | | |   minReads=(Right 16)
 281 | | | | |   mayRaise=["fail"]
 282 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 283 | | | | |   minReads=(Right 16)
 284 | | | | |   mayRaise=["fail"]
 285 | | | | | pushValue cons
 286 | | | | |   minReads=(Right 16)
 287 | | | | |   mayRaise=["fail"]
 288 | | | | | pushValue (\u1 -> (\u2 -> u1))
 289 | | | | |   minReads=(Right 16)
 290 | | | | |   mayRaise=["fail"]
 291 | | | | | pushValue 'n'
 292 | | | | |   minReads=(Right 16)
 293 | | | | |   mayRaise=["fail"]
 294 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 295 | | | | |   minReads=(Right 16)
 296 | | | | |   mayRaise=["fail"]
 297 | | | | | read ('n' ==)
 298 | | | | |   minReads=(Right 16)
 299 | | | | |   mayRaise=["fail"]
 300 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 301 | | | | |   minReads=(Right 15)
 302 | | | | |   mayRaise=["fail"]
 303 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 304 | | | | |   minReads=(Right 15)
 305 | | | | |   mayRaise=["fail"]
 306 | | | | | pushValue cons
 307 | | | | |   minReads=(Right 15)
 308 | | | | |   mayRaise=["fail"]
 309 | | | | | pushValue (\u1 -> (\u2 -> u1))
 310 | | | | |   minReads=(Right 15)
 311 | | | | |   mayRaise=["fail"]
 312 | | | | | pushValue 'c'
 313 | | | | |   minReads=(Right 15)
 314 | | | | |   mayRaise=["fail"]
 315 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 316 | | | | |   minReads=(Right 15)
 317 | | | | |   mayRaise=["fail"]
 318 | | | | | read ('c' ==)
 319 | | | | |   minReads=(Right 15)
 320 | | | | |   mayRaise=["fail"]
 321 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 322 | | | | |   minReads=(Right 14)
 323 | | | | |   mayRaise=["fail"]
 324 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 325 | | | | |   minReads=(Right 14)
 326 | | | | |   mayRaise=["fail"]
 327 | | | | | pushValue cons
 328 | | | | |   minReads=(Right 14)
 329 | | | | |   mayRaise=["fail"]
 330 | | | | | pushValue (\u1 -> (\u2 -> u1))
 331 | | | | |   minReads=(Right 14)
 332 | | | | |   mayRaise=["fail"]
 333 | | | | | pushValue 't'
 334 | | | | |   minReads=(Right 14)
 335 | | | | |   mayRaise=["fail"]
 336 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 337 | | | | |   minReads=(Right 14)
 338 | | | | |   mayRaise=["fail"]
 339 | | | | | read ('t' ==)
 340 | | | | |   minReads=(Right 14)
 341 | | | | |   mayRaise=["fail"]
 342 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 343 | | | | |   minReads=(Right 13)
 344 | | | | |   mayRaise=["fail"]
 345 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 346 | | | | |   minReads=(Right 13)
 347 | | | | |   mayRaise=["fail"]
 348 | | | | | pushValue cons
 349 | | | | |   minReads=(Right 13)
 350 | | | | |   mayRaise=["fail"]
 351 | | | | | pushValue (\u1 -> (\u2 -> u1))
 352 | | | | |   minReads=(Right 13)
 353 | | | | |   mayRaise=["fail"]
 354 | | | | | pushValue 'i'
 355 | | | | |   minReads=(Right 13)
 356 | | | | |   mayRaise=["fail"]
 357 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 358 | | | | |   minReads=(Right 13)
 359 | | | | |   mayRaise=["fail"]
 360 | | | | | read ('i' ==)
 361 | | | | |   minReads=(Right 13)
 362 | | | | |   mayRaise=["fail"]
 363 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 364 | | | | |   minReads=(Right 12)
 365 | | | | |   mayRaise=["fail"]
 366 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 367 | | | | |   minReads=(Right 12)
 368 | | | | |   mayRaise=["fail"]
 369 | | | | | pushValue cons
 370 | | | | |   minReads=(Right 12)
 371 | | | | |   mayRaise=["fail"]
 372 | | | | | pushValue (\u1 -> (\u2 -> u1))
 373 | | | | |   minReads=(Right 12)
 374 | | | | |   mayRaise=["fail"]
 375 | | | | | pushValue 'o'
 376 | | | | |   minReads=(Right 12)
 377 | | | | |   mayRaise=["fail"]
 378 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 379 | | | | |   minReads=(Right 12)
 380 | | | | |   mayRaise=["fail"]
 381 | | | | | read ('o' ==)
 382 | | | | |   minReads=(Right 12)
 383 | | | | |   mayRaise=["fail"]
 384 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 385 | | | | |   minReads=(Right 11)
 386 | | | | |   mayRaise=["fail"]
 387 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 388 | | | | |   minReads=(Right 11)
 389 | | | | |   mayRaise=["fail"]
 390 | | | | | pushValue cons
 391 | | | | |   minReads=(Right 11)
 392 | | | | |   mayRaise=["fail"]
 393 | | | | | pushValue (\u1 -> (\u2 -> u1))
 394 | | | | |   minReads=(Right 11)
 395 | | | | |   mayRaise=["fail"]
 396 | | | | | pushValue 'n'
 397 | | | | |   minReads=(Right 11)
 398 | | | | |   mayRaise=["fail"]
 399 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 400 | | | | |   minReads=(Right 11)
 401 | | | | |   mayRaise=["fail"]
 402 | | | | | read ('n' ==)
 403 | | | | |   minReads=(Right 11)
 404 | | | | |   mayRaise=["fail"]
 405 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 406 | | | | |   minReads=(Right 10)
 407 | | | | |   mayRaise=["fail"]
 408 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 409 | | | | |   minReads=(Right 10)
 410 | | | | |   mayRaise=["fail"]
 411 | | | | | pushValue Term
 412 | | | | |   minReads=(Right 10)
 413 | | | | |   mayRaise=["fail"]
 414 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 415 | | | | |   minReads=(Right 10)
 416 | | | | |   mayRaise=["fail"]
 417 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 418 | | | | |   minReads=(Right 10)
 419 | | | | |   mayRaise=["fail"]
 420 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 421 | | | | |   minReads=(Right 10)
 422 | | | | |   mayRaise=["fail"]
 423 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 424 | | | | |   minReads=(Right 10)
 425 | | | | |   mayRaise=["fail"]
 426 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 427 | | | | |   minReads=(Right 10)
 428 | | | | |   mayRaise=["fail"]
 429 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 430 | | | | |   minReads=(Right 10)
 431 | | | | |   mayRaise=["fail"]
 432 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 433 | | | | |   minReads=(Right 10)
 434 | | | | |   mayRaise=["fail"]
 435 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 436 | | | | |   minReads=(Right 10)
 437 | | | | |   mayRaise=["fail"]
 438 | | | | | popException "fail"
 439 | | | | |   minReads=(Right 10)
 440 | | | | |   mayRaise=["fail"]
 441 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 442 | | | | |   minReads=(Right 10)
 443 | | | | |   mayRaise=["fail"]
 444 | | | | | call <hidden>
 445 | | | | |   minReads=(Right 10)
 446 | | | | |   mayRaise=["fail"]
 447 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 448 | | | | |   minReads=(Right 10)
 449 | | | | |   mayRaise=["fail"]
 450 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 451 | | | | |   minReads=(Right 10)
 452 | | | | |   mayRaise=["fail"]
 453 | | | | | call <hidden>
 454 | | | | |   minReads=(Right 10)
 455 | | | | |   mayRaise=["fail"]
 456 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 457 | | | | |   minReads=(Right 8)
 458 | | | | |   mayRaise=["fail"]
 459 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 460 | | | | |   minReads=(Right 8)
 461 | | | | |   mayRaise=["fail"]
 462 | | | | | pushValue (\u1 -> (\u2 -> u1))
 463 | | | | |   minReads=(Right 8)
 464 | | | | |   mayRaise=["fail"]
 465 | | | | | pushValue (\u1 -> (\u2 -> u1))
 466 | | | | |   minReads=(Right 8)
 467 | | | | |   mayRaise=["fail"]
 468 | | | | | pushValue (\u1 -> u1)
 469 | | | | |   minReads=(Right 8)
 470 | | | | |   mayRaise=["fail"]
 471 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 472 | | | | |   minReads=(Right 8)
 473 | | | | |   mayRaise=["fail"]
 474 | | | | | call <hidden>
 475 | | | | |   minReads=(Right 8)
 476 | | | | |   mayRaise=["fail"]
 477 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 478 | | | | |   minReads=(Right 6)
 479 | | | | |   mayRaise=[]
 480 | | | | | pushValue (\u1 -> (\u2 -> u1))
 481 | | | | |   minReads=(Right 6)
 482 | | | | |   mayRaise=[]
 483 | | | | | pushValue (\u1 -> u1)
 484 | | | | |   minReads=(Right 6)
 485 | | | | |   mayRaise=[]
 486 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 487 | | | | |   minReads=(Right 6)
 488 | | | | |   mayRaise=[]
 489 | | | | | call <hidden>
 490 | | | | |   minReads=(Right 6)
 491 | | | | |   mayRaise=[]
 492 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 493 | | | | |   minReads=(Right 2)
 494 | | | | |   mayRaise=[]
 495 | | | | | join <hidden>
 496 | | | | |   minReads=(Right 6)
 497 | | | | |   mayRaise=["fail"]
 498 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 499 | | | | | |   minReads=(Right 6)
 500 | | | | | |   mayRaise=["fail"]
 501 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 502 | | | | | |   minReads=(Right 6)
 503 | | | | | |   mayRaise=["fail"]
 504 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 505 | | | | | |   minReads=(Right 6)
 506 | | | | | |   mayRaise=["fail"]
 507 | | | | | | call <hidden>
 508 | | | | | |   minReads=(Right 6)
 509 | | | | | |   mayRaise=["fail"]
 510 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 511 | | | | | |   minReads=(Right 4)
 512 | | | | | |   mayRaise=["fail"]
 513 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 514 | | | | | |   minReads=(Right 4)
 515 | | | | | |   mayRaise=["fail"]
 516 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 517 | | | | | |   minReads=(Right 4)
 518 | | | | | |   mayRaise=["fail"]
 519 | | | | | | call <hidden>
 520 | | | | | |   minReads=(Right 4)
 521 | | | | | |   mayRaise=["fail"]
 522 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 523 | | | | | |   minReads=(Right 0)
 524 | | | | | |   mayRaise=[]
 525 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 526 | | | | | |   minReads=(Right 0)
 527 | | | | | |   mayRaise=[]
 528 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 529 | | | | | |   minReads=(Right 0)
 530 | | | | | |   mayRaise=[]
 531 | | | | | | call <hidden>
 532 | | | | | |   minReads=(Right 0)
 533 | | | | | |   mayRaise=[]
 534 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 535 | | | | | |   minReads=(Right 0)
 536 | | | | | |   mayRaise=[]
 537 | | | | | | popException "fail"
 538 | | | | | |   minReads=(Right 0)
 539 | | | | | |   mayRaise=[]
 540 | | | | | | ret
 541 | | | | | |   minReads=(Right 0)
 542 | | | | | |   mayRaise=[]
 543 | | | | | catchException "fail"
 544 | | | | |   minReads=(Right 0)
 545 | | | | |   mayRaise=[]
 546 | | | | | | <ok>
 547 | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 548 | | | | | | |   minReads=(Right 2)
 549 | | | | | | |   mayRaise=["fail"]
 550 | | | | | | | pushValue Term
 551 | | | | | | |   minReads=(Right 2)
 552 | | | | | | |   mayRaise=["fail"]
 553 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 554 | | | | | | |   minReads=(Right 2)
 555 | | | | | | |   mayRaise=["fail"]
 556 | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 557 | | | | | | |   minReads=(Right 2)
 558 | | | | | | |   mayRaise=["fail"]
 559 | | | | | | | pushValue (\u1 -> u1)
 560 | | | | | | |   minReads=(Right 2)
 561 | | | | | | |   mayRaise=["fail"]
 562 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 563 | | | | | | |   minReads=(Right 2)
 564 | | | | | | |   mayRaise=["fail"]
 565 | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 566 | | | | | | |   minReads=(Right 2)
 567 | | | | | | |   mayRaise=["fail"]
 568 | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 569 | | | | | | |   minReads=(Right 2)
 570 | | | | | | |   mayRaise=["fail"]
 571 | | | | | | | pushValue ':'
 572 | | | | | | |   minReads=(Right 2)
 573 | | | | | | |   mayRaise=["fail"]
 574 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 575 | | | | | | |   minReads=(Right 2)
 576 | | | | | | |   mayRaise=["fail"]
 577 | | | | | | | read (':' ==)
 578 | | | | | | |   minReads=(Right 2)
 579 | | | | | | |   mayRaise=["fail"]
 580 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 581 | | | | | | |   minReads=(Right 1)
 582 | | | | | | |   mayRaise=["fail"]
 583 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 584 | | | | | | |   minReads=(Right 1)
 585 | | | | | | |   mayRaise=["fail"]
 586 | | | | | | | call <hidden>
 587 | | | | | | |   minReads=(Right 1)
 588 | | | | | | |   mayRaise=["fail"]
 589 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 590 | | | | | | |   minReads=(Right 0)
 591 | | | | | | |   mayRaise=[]
 592 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 593 | | | | | | |   minReads=(Right 0)
 594 | | | | | | |   mayRaise=[]
 595 | | | | | | | call <hidden>
 596 | | | | | | |   minReads=(Right 0)
 597 | | | | | | |   mayRaise=[]
 598 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 599 | | | | | | |   minReads=(Right 0)
 600 | | | | | | |   mayRaise=[]
 601 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 602 | | | | | | |   minReads=(Right 0)
 603 | | | | | | |   mayRaise=[]
 604 | | | | | | | popException "fail"
 605 | | | | | | |   minReads=(Right 0)
 606 | | | | | | |   mayRaise=[]
 607 | | | | | | | refJoin <hidden>
 608 | | | | | | |   minReads=(Right 0)
 609 | | | | | | |   mayRaise=[]
 610 | | | | | | <ko>
 611 | | | | | | | pushInput
 612 | | | | | | |   minReads=(Right 0)
 613 | | | | | | |   mayRaise=["fail"]
 614 | | | | | | | lift2Value Term
 615 | | | | | | |   minReads=(Right 0)
 616 | | | | | | |   mayRaise=["fail"]
 617 | | | | | | | choicesBranch [(\u1 -> u1)]
 618 | | | | | | |   minReads=(Right 0)
 619 | | | | | | |   mayRaise=["fail"]
 620 | | | | | | | | <branch>
 621 | | | | | | | | | call <hidden>
 622 | | | | | | | | |   minReads=(Right 0)
 623 | | | | | | | | |   mayRaise=[]
 624 | | | | | | | | | refJoin <hidden>
 625 | | | | | | | | |   minReads=(Right 0)
 626 | | | | | | | | |   mayRaise=[]
 627 | | | | | | | | <default>
 628 | | | | | | | | | raiseException "fail"
 629 | | | | | | | | |   minReads=(Left "fail")
 630 | | | | | | | | |   mayRaise=["fail"]
 631 | | | | <ko>
 632 | | | | | loadInput
 633 | | | | |   minReads=(Left "fail")
 634 | | | | |   mayRaise=["fail"]
 635 | | | | | raiseException "fail"
 636 | | | | |   minReads=(Left "fail")
 637 | | | | |   mayRaise=["fail"]
 638 | | <ko>
 639 | | | pushInput
 640 | | |   minReads=(Right 0)
 641 | | |   mayRaise=["fail"]
 642 | | | lift2Value Term
 643 | | |   minReads=(Right 0)
 644 | | |   mayRaise=["fail"]
 645 | | | choicesBranch [(\u1 -> u1)]
 646 | | |   minReads=(Right 0)
 647 | | |   mayRaise=["fail"]
 648 | | | | <branch>
 649 | | | | | pushValue (\u1 -> u1)
 650 | | | | |   minReads=(Right 0)
 651 | | | | |   mayRaise=[]
 652 | | | | | ret
 653 | | | | |   minReads=(Right 0)
 654 | | | | |   mayRaise=[]
 655 | | | | <default>
 656 | | | | | raiseException "fail"
 657 | | | | |   minReads=(Left "fail")
 658 | | | | |   mayRaise=["fail"]
 659 let <hidden>
 660   minReads=(Right 0)
 661   mayRaise=[]
 662 | catchException "fail"
 663 |   minReads=(Right 0)
 664 |   mayRaise=[]
 665 | | <ok>
 666 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
 667 | | |   minReads=(Right 2)
 668 | | |   mayRaise=[]
 669 | | | pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
 670 | | |   minReads=(Right 2)
 671 | | |   mayRaise=[]
 672 | | | pushValue (\u1 -> (\u2 -> u1))
 673 | | |   minReads=(Right 2)
 674 | | |   mayRaise=[]
 675 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 676 | | |   minReads=(Right 2)
 677 | | |   mayRaise=[]
 678 | | | join <hidden>
 679 | | |   minReads=(Right 0)
 680 | | |   mayRaise=[]
 681 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 682 | | | |   minReads=(Right 0)
 683 | | | |   mayRaise=[]
 684 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 685 | | | |   minReads=(Right 0)
 686 | | | |   mayRaise=[]
 687 | | | | call <hidden>
 688 | | | |   minReads=(Right 0)
 689 | | | |   mayRaise=[]
 690 | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 691 | | | |   minReads=(Right 0)
 692 | | | |   mayRaise=[]
 693 | | | | popException "fail"
 694 | | | |   minReads=(Right 0)
 695 | | | |   mayRaise=[]
 696 | | | | ret
 697 | | | |   minReads=(Right 0)
 698 | | | |   mayRaise=[]
 699 | | | catchException "fail"
 700 | | |   minReads=(Right 2)
 701 | | |   mayRaise=[]
 702 | | | | <ok>
 703 | | | | | join <hidden>
 704 | | | | |   minReads=(Right 0)
 705 | | | | |   mayRaise=[]
 706 | | | | | | popException "fail"
 707 | | | | | |   minReads=(Right 0)
 708 | | | | | |   mayRaise=[]
 709 | | | | | | refJoin <hidden>
 710 | | | | | |   minReads=(Right 0)
 711 | | | | | |   mayRaise=[]
 712 | | | | | catchException "fail"
 713 | | | | |   minReads=(Right 2)
 714 | | | | |   mayRaise=[]
 715 | | | | | | <ok>
 716 | | | | | | | join <hidden>
 717 | | | | | | |   minReads=(Right 0)
 718 | | | | | | |   mayRaise=[]
 719 | | | | | | | | popException "fail"
 720 | | | | | | | |   minReads=(Right 0)
 721 | | | | | | | |   mayRaise=[]
 722 | | | | | | | | refJoin <hidden>
 723 | | | | | | | |   minReads=(Right 0)
 724 | | | | | | | |   mayRaise=[]
 725 | | | | | | | catchException "fail"
 726 | | | | | | |   minReads=(Right 2)
 727 | | | | | | |   mayRaise=[]
 728 | | | | | | | | <ok>
 729 | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 730 | | | | | | | | |   minReads=(Right 2)
 731 | | | | | | | | |   mayRaise=[]
 732 | | | | | | | | | pushValue (\u1 -> u1)
 733 | | | | | | | | |   minReads=(Right 2)
 734 | | | | | | | | |   mayRaise=[]
 735 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 736 | | | | | | | | |   minReads=(Right 2)
 737 | | | | | | | | |   mayRaise=[]
 738 | | | | | | | | | catchException "fail"
 739 | | | | | | | | |   minReads=(Right 2)
 740 | | | | | | | | |   mayRaise=[]
 741 | | | | | | | | | | <ok>
 742 | | | | | | | | | | | pushValue cons
 743 | | | | | | | | | | |   minReads=(Right 2)
 744 | | | | | | | | | | |   mayRaise=["fail"]
 745 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 746 | | | | | | | | | | |   minReads=(Right 2)
 747 | | | | | | | | | | |   mayRaise=["fail"]
 748 | | | | | | | | | | | pushValue 'i'
 749 | | | | | | | | | | |   minReads=(Right 2)
 750 | | | | | | | | | | |   mayRaise=["fail"]
 751 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 752 | | | | | | | | | | |   minReads=(Right 2)
 753 | | | | | | | | | | |   mayRaise=["fail"]
 754 | | | | | | | | | | | read ('i' ==)
 755 | | | | | | | | | | |   minReads=(Right 2)
 756 | | | | | | | | | | |   mayRaise=["fail"]
 757 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 758 | | | | | | | | | | |   minReads=(Right 1)
 759 | | | | | | | | | | |   mayRaise=["fail"]
 760 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 761 | | | | | | | | | | |   minReads=(Right 1)
 762 | | | | | | | | | | |   mayRaise=["fail"]
 763 | | | | | | | | | | | pushValue cons
 764 | | | | | | | | | | |   minReads=(Right 1)
 765 | | | | | | | | | | |   mayRaise=["fail"]
 766 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 767 | | | | | | | | | | |   minReads=(Right 1)
 768 | | | | | | | | | | |   mayRaise=["fail"]
 769 | | | | | | | | | | | pushValue 'f'
 770 | | | | | | | | | | |   minReads=(Right 1)
 771 | | | | | | | | | | |   mayRaise=["fail"]
 772 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 773 | | | | | | | | | | |   minReads=(Right 1)
 774 | | | | | | | | | | |   mayRaise=["fail"]
 775 | | | | | | | | | | | read ('f' ==)
 776 | | | | | | | | | | |   minReads=(Right 1)
 777 | | | | | | | | | | |   mayRaise=["fail"]
 778 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 779 | | | | | | | | | | |   minReads=(Right 0)
 780 | | | | | | | | | | |   mayRaise=[]
 781 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 782 | | | | | | | | | | |   minReads=(Right 0)
 783 | | | | | | | | | | |   mayRaise=[]
 784 | | | | | | | | | | | pushValue Term
 785 | | | | | | | | | | |   minReads=(Right 0)
 786 | | | | | | | | | | |   mayRaise=[]
 787 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 788 | | | | | | | | | | |   minReads=(Right 0)
 789 | | | | | | | | | | |   mayRaise=[]
 790 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 791 | | | | | | | | | | |   minReads=(Right 0)
 792 | | | | | | | | | | |   mayRaise=[]
 793 | | | | | | | | | | | popException "fail"
 794 | | | | | | | | | | |   minReads=(Right 0)
 795 | | | | | | | | | | |   mayRaise=[]
 796 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 797 | | | | | | | | | | |   minReads=(Right 0)
 798 | | | | | | | | | | |   mayRaise=[]
 799 | | | | | | | | | | | call <hidden>
 800 | | | | | | | | | | |   minReads=(Right 0)
 801 | | | | | | | | | | |   mayRaise=[]
 802 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 803 | | | | | | | | | | |   minReads=(Right 0)
 804 | | | | | | | | | | |   mayRaise=[]
 805 | | | | | | | | | | | popException "fail"
 806 | | | | | | | | | | |   minReads=(Right 0)
 807 | | | | | | | | | | |   mayRaise=[]
 808 | | | | | | | | | | | refJoin <hidden>
 809 | | | | | | | | | | |   minReads=(Right 0)
 810 | | | | | | | | | | |   mayRaise=[]
 811 | | | | | | | | | | <ko>
 812 | | | | | | | | | | | loadInput
 813 | | | | | | | | | | |   minReads=(Left "fail")
 814 | | | | | | | | | | |   mayRaise=["fail"]
 815 | | | | | | | | | | | raiseException "fail"
 816 | | | | | | | | | | |   minReads=(Left "fail")
 817 | | | | | | | | | | |   mayRaise=["fail"]
 818 | | | | | | | | <ko>
 819 | | | | | | | | | pushInput
 820 | | | | | | | | |   minReads=(Right 11)
 821 | | | | | | | | |   mayRaise=["fail"]
 822 | | | | | | | | | lift2Value Term
 823 | | | | | | | | |   minReads=(Right 11)
 824 | | | | | | | | |   mayRaise=["fail"]
 825 | | | | | | | | | choicesBranch [(\u1 -> u1)]
 826 | | | | | | | | |   minReads=(Right 11)
 827 | | | | | | | | |   mayRaise=["fail"]
 828 | | | | | | | | | | <branch>
 829 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 830 | | | | | | | | | | |   minReads=(Right 11)
 831 | | | | | | | | | | |   mayRaise=[]
 832 | | | | | | | | | | | pushValue (\u1 -> u1)
 833 | | | | | | | | | | |   minReads=(Right 11)
 834 | | | | | | | | | | |   mayRaise=[]
 835 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 836 | | | | | | | | | | |   minReads=(Right 11)
 837 | | | | | | | | | | |   mayRaise=[]
 838 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 839 | | | | | | | | | | |   minReads=(Right 11)
 840 | | | | | | | | | | |   mayRaise=[]
 841 | | | | | | | | | | | pushValue (\u1 -> u1)
 842 | | | | | | | | | | |   minReads=(Right 11)
 843 | | | | | | | | | | |   mayRaise=[]
 844 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 845 | | | | | | | | | | |   minReads=(Right 11)
 846 | | | | | | | | | | |   mayRaise=[]
 847 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 848 | | | | | | | | | | |   minReads=(Right 11)
 849 | | | | | | | | | | |   mayRaise=[]
 850 | | | | | | | | | | | pushValue (\u1 -> u1)
 851 | | | | | | | | | | |   minReads=(Right 11)
 852 | | | | | | | | | | |   mayRaise=[]
 853 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 854 | | | | | | | | | | |   minReads=(Right 11)
 855 | | | | | | | | | | |   mayRaise=[]
 856 | | | | | | | | | | | catchException "fail"
 857 | | | | | | | | | | |   minReads=(Right 11)
 858 | | | | | | | | | | |   mayRaise=[]
 859 | | | | | | | | | | | | <ok>
 860 | | | | | | | | | | | | | pushValue cons
 861 | | | | | | | | | | | | |   minReads=(Right 11)
 862 | | | | | | | | | | | | |   mayRaise=["fail"]
 863 | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 864 | | | | | | | | | | | | |   minReads=(Right 11)
 865 | | | | | | | | | | | | |   mayRaise=["fail"]
 866 | | | | | | | | | | | | | pushValue 'w'
 867 | | | | | | | | | | | | |   minReads=(Right 11)
 868 | | | | | | | | | | | | |   mayRaise=["fail"]
 869 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 870 | | | | | | | | | | | | |   minReads=(Right 11)
 871 | | | | | | | | | | | | |   mayRaise=["fail"]
 872 | | | | | | | | | | | | | read ('w' ==)
 873 | | | | | | | | | | | | |   minReads=(Right 11)
 874 | | | | | | | | | | | | |   mayRaise=["fail"]
 875 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 876 | | | | | | | | | | | | |   minReads=(Right 10)
 877 | | | | | | | | | | | | |   mayRaise=["fail"]
 878 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 879 | | | | | | | | | | | | |   minReads=(Right 10)
 880 | | | | | | | | | | | | |   mayRaise=["fail"]
 881 | | | | | | | | | | | | | pushValue cons
 882 | | | | | | | | | | | | |   minReads=(Right 10)
 883 | | | | | | | | | | | | |   mayRaise=["fail"]
 884 | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 885 | | | | | | | | | | | | |   minReads=(Right 10)
 886 | | | | | | | | | | | | |   mayRaise=["fail"]
 887 | | | | | | | | | | | | | pushValue 'h'
 888 | | | | | | | | | | | | |   minReads=(Right 10)
 889 | | | | | | | | | | | | |   mayRaise=["fail"]
 890 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 891 | | | | | | | | | | | | |   minReads=(Right 10)
 892 | | | | | | | | | | | | |   mayRaise=["fail"]
 893 | | | | | | | | | | | | | read ('h' ==)
 894 | | | | | | | | | | | | |   minReads=(Right 10)
 895 | | | | | | | | | | | | |   mayRaise=["fail"]
 896 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 897 | | | | | | | | | | | | |   minReads=(Right 9)
 898 | | | | | | | | | | | | |   mayRaise=["fail"]
 899 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 900 | | | | | | | | | | | | |   minReads=(Right 9)
 901 | | | | | | | | | | | | |   mayRaise=["fail"]
 902 | | | | | | | | | | | | | pushValue cons
 903 | | | | | | | | | | | | |   minReads=(Right 9)
 904 | | | | | | | | | | | | |   mayRaise=["fail"]
 905 | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 906 | | | | | | | | | | | | |   minReads=(Right 9)
 907 | | | | | | | | | | | | |   mayRaise=["fail"]
 908 | | | | | | | | | | | | | pushValue 'i'
 909 | | | | | | | | | | | | |   minReads=(Right 9)
 910 | | | | | | | | | | | | |   mayRaise=["fail"]
 911 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 912 | | | | | | | | | | | | |   minReads=(Right 9)
 913 | | | | | | | | | | | | |   mayRaise=["fail"]
 914 | | | | | | | | | | | | | read ('i' ==)
 915 | | | | | | | | | | | | |   minReads=(Right 9)
 916 | | | | | | | | | | | | |   mayRaise=["fail"]
 917 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 918 | | | | | | | | | | | | |   minReads=(Right 8)
 919 | | | | | | | | | | | | |   mayRaise=["fail"]
 920 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 921 | | | | | | | | | | | | |   minReads=(Right 8)
 922 | | | | | | | | | | | | |   mayRaise=["fail"]
 923 | | | | | | | | | | | | | pushValue cons
 924 | | | | | | | | | | | | |   minReads=(Right 8)
 925 | | | | | | | | | | | | |   mayRaise=["fail"]
 926 | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 927 | | | | | | | | | | | | |   minReads=(Right 8)
 928 | | | | | | | | | | | | |   mayRaise=["fail"]
 929 | | | | | | | | | | | | | pushValue 'l'
 930 | | | | | | | | | | | | |   minReads=(Right 8)
 931 | | | | | | | | | | | | |   mayRaise=["fail"]
 932 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 933 | | | | | | | | | | | | |   minReads=(Right 8)
 934 | | | | | | | | | | | | |   mayRaise=["fail"]
 935 | | | | | | | | | | | | | read ('l' ==)
 936 | | | | | | | | | | | | |   minReads=(Right 8)
 937 | | | | | | | | | | | | |   mayRaise=["fail"]
 938 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 939 | | | | | | | | | | | | |   minReads=(Right 7)
 940 | | | | | | | | | | | | |   mayRaise=["fail"]
 941 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 942 | | | | | | | | | | | | |   minReads=(Right 7)
 943 | | | | | | | | | | | | |   mayRaise=["fail"]
 944 | | | | | | | | | | | | | pushValue cons
 945 | | | | | | | | | | | | |   minReads=(Right 7)
 946 | | | | | | | | | | | | |   mayRaise=["fail"]
 947 | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
 948 | | | | | | | | | | | | |   minReads=(Right 7)
 949 | | | | | | | | | | | | |   mayRaise=["fail"]
 950 | | | | | | | | | | | | | pushValue 'e'
 951 | | | | | | | | | | | | |   minReads=(Right 7)
 952 | | | | | | | | | | | | |   mayRaise=["fail"]
 953 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 954 | | | | | | | | | | | | |   minReads=(Right 7)
 955 | | | | | | | | | | | | |   mayRaise=["fail"]
 956 | | | | | | | | | | | | | read ('e' ==)
 957 | | | | | | | | | | | | |   minReads=(Right 7)
 958 | | | | | | | | | | | | |   mayRaise=["fail"]
 959 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 960 | | | | | | | | | | | | |   minReads=(Right 6)
 961 | | | | | | | | | | | | |   mayRaise=["fail"]
 962 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 963 | | | | | | | | | | | | |   minReads=(Right 6)
 964 | | | | | | | | | | | | |   mayRaise=["fail"]
 965 | | | | | | | | | | | | | pushValue Term
 966 | | | | | | | | | | | | |   minReads=(Right 6)
 967 | | | | | | | | | | | | |   mayRaise=["fail"]
 968 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 969 | | | | | | | | | | | | |   minReads=(Right 6)
 970 | | | | | | | | | | | | |   mayRaise=["fail"]
 971 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 972 | | | | | | | | | | | | |   minReads=(Right 6)
 973 | | | | | | | | | | | | |   mayRaise=["fail"]
 974 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 975 | | | | | | | | | | | | |   minReads=(Right 6)
 976 | | | | | | | | | | | | |   mayRaise=["fail"]
 977 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 978 | | | | | | | | | | | | |   minReads=(Right 6)
 979 | | | | | | | | | | | | |   mayRaise=["fail"]
 980 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 981 | | | | | | | | | | | | |   minReads=(Right 6)
 982 | | | | | | | | | | | | |   mayRaise=["fail"]
 983 | | | | | | | | | | | | | popException "fail"
 984 | | | | | | | | | | | | |   minReads=(Right 6)
 985 | | | | | | | | | | | | |   mayRaise=["fail"]
 986 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 987 | | | | | | | | | | | | |   minReads=(Right 6)
 988 | | | | | | | | | | | | |   mayRaise=["fail"]
 989 | | | | | | | | | | | | | call <hidden>
 990 | | | | | | | | | | | | |   minReads=(Right 6)
 991 | | | | | | | | | | | | |   mayRaise=["fail"]
 992 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 993 | | | | | | | | | | | | |   minReads=(Right 6)
 994 | | | | | | | | | | | | |   mayRaise=["fail"]
 995 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
 996 | | | | | | | | | | | | |   minReads=(Right 6)
 997 | | | | | | | | | | | | |   mayRaise=["fail"]
 998 | | | | | | | | | | | | | call <hidden>
 999 | | | | | | | | | | | | |   minReads=(Right 6)
1000 | | | | | | | | | | | | |   mayRaise=["fail"]
1001 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1002 | | | | | | | | | | | | |   minReads=(Right 4)
1003 | | | | | | | | | | | | |   mayRaise=["fail"]
1004 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1005 | | | | | | | | | | | | |   minReads=(Right 4)
1006 | | | | | | | | | | | | |   mayRaise=["fail"]
1007 | | | | | | | | | | | | | call <hidden>
1008 | | | | | | | | | | | | |   minReads=(Right 4)
1009 | | | | | | | | | | | | |   mayRaise=["fail"]
1010 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1011 | | | | | | | | | | | | |   minReads=(Right 0)
1012 | | | | | | | | | | | | |   mayRaise=[]
1013 | | | | | | | | | | | | | refJoin <hidden>
1014 | | | | | | | | | | | | |   minReads=(Right 0)
1015 | | | | | | | | | | | | |   mayRaise=[]
1016 | | | | | | | | | | | | <ko>
1017 | | | | | | | | | | | | | loadInput
1018 | | | | | | | | | | | | |   minReads=(Left "fail")
1019 | | | | | | | | | | | | |   mayRaise=["fail"]
1020 | | | | | | | | | | | | | raiseException "fail"
1021 | | | | | | | | | | | | |   minReads=(Left "fail")
1022 | | | | | | | | | | | | |   mayRaise=["fail"]
1023 | | | | | | | | | | <default>
1024 | | | | | | | | | | | raiseException "fail"
1025 | | | | | | | | | | |   minReads=(Left "fail")
1026 | | | | | | | | | | |   mayRaise=["fail"]
1027 | | | | | | <ko>
1028 | | | | | | | pushInput
1029 | | | | | | |   minReads=(Right 8)
1030 | | | | | | |   mayRaise=["fail"]
1031 | | | | | | | lift2Value Term
1032 | | | | | | |   minReads=(Right 8)
1033 | | | | | | |   mayRaise=["fail"]
1034 | | | | | | | choicesBranch [(\u1 -> u1)]
1035 | | | | | | |   minReads=(Right 8)
1036 | | | | | | |   mayRaise=["fail"]
1037 | | | | | | | | <branch>
1038 | | | | | | | | | catchException "fail"
1039 | | | | | | | | |   minReads=(Right 8)
1040 | | | | | | | | |   mayRaise=[]
1041 | | | | | | | | | | <ok>
1042 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1043 | | | | | | | | | | |   minReads=(Right 8)
1044 | | | | | | | | | | |   mayRaise=[]
1045 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1046 | | | | | | | | | | |   minReads=(Right 8)
1047 | | | | | | | | | | |   mayRaise=[]
1048 | | | | | | | | | | | pushValue (\u1 -> u1)
1049 | | | | | | | | | | |   minReads=(Right 8)
1050 | | | | | | | | | | |   mayRaise=[]
1051 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1052 | | | | | | | | | | |   minReads=(Right 8)
1053 | | | | | | | | | | |   mayRaise=[]
1054 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1055 | | | | | | | | | | |   minReads=(Right 8)
1056 | | | | | | | | | | |   mayRaise=[]
1057 | | | | | | | | | | | pushValue (\u1 -> u1)
1058 | | | | | | | | | | |   minReads=(Right 8)
1059 | | | | | | | | | | |   mayRaise=[]
1060 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1061 | | | | | | | | | | |   minReads=(Right 8)
1062 | | | | | | | | | | |   mayRaise=[]
1063 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1064 | | | | | | | | | | |   minReads=(Right 8)
1065 | | | | | | | | | | |   mayRaise=[]
1066 | | | | | | | | | | | pushValue (\u1 -> u1)
1067 | | | | | | | | | | |   minReads=(Right 8)
1068 | | | | | | | | | | |   mayRaise=[]
1069 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1070 | | | | | | | | | | |   minReads=(Right 8)
1071 | | | | | | | | | | |   mayRaise=[]
1072 | | | | | | | | | | | join <hidden>
1073 | | | | | | | | | | |   minReads=(Right 8)
1074 | | | | | | | | | | |   mayRaise=["fail"]
1075 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1076 | | | | | | | | | | | |   minReads=(Right 8)
1077 | | | | | | | | | | | |   mayRaise=["fail"]
1078 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1079 | | | | | | | | | | | |   minReads=(Right 8)
1080 | | | | | | | | | | | |   mayRaise=["fail"]
1081 | | | | | | | | | | | | pushValue (\u1 -> u1)
1082 | | | | | | | | | | | |   minReads=(Right 8)
1083 | | | | | | | | | | | |   mayRaise=["fail"]
1084 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1085 | | | | | | | | | | | |   minReads=(Right 8)
1086 | | | | | | | | | | | |   mayRaise=["fail"]
1087 | | | | | | | | | | | | call <hidden>
1088 | | | | | | | | | | | |   minReads=(Right 8)
1089 | | | | | | | | | | | |   mayRaise=["fail"]
1090 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1091 | | | | | | | | | | | |   minReads=(Right 6)
1092 | | | | | | | | | | | |   mayRaise=["fail"]
1093 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1094 | | | | | | | | | | | |   minReads=(Right 6)
1095 | | | | | | | | | | | |   mayRaise=["fail"]
1096 | | | | | | | | | | | | pushValue (\u1 -> u1)
1097 | | | | | | | | | | | |   minReads=(Right 6)
1098 | | | | | | | | | | | |   mayRaise=["fail"]
1099 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1100 | | | | | | | | | | | |   minReads=(Right 6)
1101 | | | | | | | | | | | |   mayRaise=["fail"]
1102 | | | | | | | | | | | | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
1103 | | | | | | | | | | | |   minReads=(Right 6)
1104 | | | | | | | | | | | |   mayRaise=["fail"]
1105 | | | | | | | | | | | | call <hidden>
1106 | | | | | | | | | | | |   minReads=(Right 6)
1107 | | | | | | | | | | | |   mayRaise=["fail"]
1108 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1109 | | | | | | | | | | | |   minReads=(Right 0)
1110 | | | | | | | | | | | |   mayRaise=[]
1111 | | | | | | | | | | | | call <hidden>
1112 | | | | | | | | | | | |   minReads=(Right 0)
1113 | | | | | | | | | | | |   mayRaise=[]
1114 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1115 | | | | | | | | | | | |   minReads=(Right 0)
1116 | | | | | | | | | | | |   mayRaise=[]
1117 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1118 | | | | | | | | | | | |   minReads=(Right 0)
1119 | | | | | | | | | | | |   mayRaise=[]
1120 | | | | | | | | | | | | call <hidden>
1121 | | | | | | | | | | | |   minReads=(Right 0)
1122 | | | | | | | | | | | |   mayRaise=[]
1123 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1124 | | | | | | | | | | | |   minReads=(Right 4)
1125 | | | | | | | | | | | |   mayRaise=["fail"]
1126 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1127 | | | | | | | | | | | |   minReads=(Right 4)
1128 | | | | | | | | | | | |   mayRaise=["fail"]
1129 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1130 | | | | | | | | | | | |   minReads=(Right 4)
1131 | | | | | | | | | | | |   mayRaise=["fail"]
1132 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1133 | | | | | | | | | | | |   minReads=(Right 4)
1134 | | | | | | | | | | | |   mayRaise=["fail"]
1135 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1136 | | | | | | | | | | | |   minReads=(Right 4)
1137 | | | | | | | | | | | |   mayRaise=["fail"]
1138 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1139 | | | | | | | | | | | |   minReads=(Right 4)
1140 | | | | | | | | | | | |   mayRaise=["fail"]
1141 | | | | | | | | | | | | pushValue '='
1142 | | | | | | | | | | | |   minReads=(Right 4)
1143 | | | | | | | | | | | |   mayRaise=["fail"]
1144 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1145 | | | | | | | | | | | |   minReads=(Right 4)
1146 | | | | | | | | | | | |   mayRaise=["fail"]
1147 | | | | | | | | | | | | read ('=' ==)
1148 | | | | | | | | | | | |   minReads=(Right 4)
1149 | | | | | | | | | | | |   mayRaise=["fail"]
1150 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1151 | | | | | | | | | | | |   minReads=(Right 3)
1152 | | | | | | | | | | | |   mayRaise=["fail"]
1153 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1154 | | | | | | | | | | | |   minReads=(Right 3)
1155 | | | | | | | | | | | |   mayRaise=["fail"]
1156 | | | | | | | | | | | | call <hidden>
1157 | | | | | | | | | | | |   minReads=(Right 3)
1158 | | | | | | | | | | | |   mayRaise=["fail"]
1159 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1160 | | | | | | | | | | | |   minReads=(Right 2)
1161 | | | | | | | | | | | |   mayRaise=[]
1162 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1163 | | | | | | | | | | | |   minReads=(Right 2)
1164 | | | | | | | | | | | |   mayRaise=[]
1165 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1166 | | | | | | | | | | | |   minReads=(Right 2)
1167 | | | | | | | | | | | |   mayRaise=[]
1168 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1169 | | | | | | | | | | | |   minReads=(Right 2)
1170 | | | | | | | | | | | |   mayRaise=[]
1171 | | | | | | | | | | | | pushValue (\u1 -> u1)
1172 | | | | | | | | | | | |   minReads=(Right 2)
1173 | | | | | | | | | | | |   mayRaise=[]
1174 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1175 | | | | | | | | | | | |   minReads=(Right 2)
1176 | | | | | | | | | | | |   mayRaise=[]
1177 | | | | | | | | | | | | call <hidden>
1178 | | | | | | | | | | | |   minReads=(Right 2)
1179 | | | | | | | | | | | |   mayRaise=[]
1180 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1181 | | | | | | | | | | | |   minReads=(Right 0)
1182 | | | | | | | | | | | |   mayRaise=[]
1183 | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1184 | | | | | | | | | | | |   minReads=(Right 0)
1185 | | | | | | | | | | | |   mayRaise=[]
1186 | | | | | | | | | | | | pushValue (\u1 -> u1)
1187 | | | | | | | | | | | |   minReads=(Right 0)
1188 | | | | | | | | | | | |   mayRaise=[]
1189 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1190 | | | | | | | | | | | |   minReads=(Right 0)
1191 | | | | | | | | | | | |   mayRaise=[]
1192 | | | | | | | | | | | | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
1193 | | | | | | | | | | | |   minReads=(Right 0)
1194 | | | | | | | | | | | |   mayRaise=[]
1195 | | | | | | | | | | | | call <hidden>
1196 | | | | | | | | | | | |   minReads=(Right 0)
1197 | | | | | | | | | | | |   mayRaise=[]
1198 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1199 | | | | | | | | | | | |   minReads=(Right 0)
1200 | | | | | | | | | | | |   mayRaise=[]
1201 | | | | | | | | | | | | call <hidden>
1202 | | | | | | | | | | | |   minReads=(Right 0)
1203 | | | | | | | | | | | |   mayRaise=[]
1204 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1205 | | | | | | | | | | | |   minReads=(Right 0)
1206 | | | | | | | | | | | |   mayRaise=[]
1207 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1208 | | | | | | | | | | | |   minReads=(Right 0)
1209 | | | | | | | | | | | |   mayRaise=[]
1210 | | | | | | | | | | | | call <hidden>
1211 | | | | | | | | | | | |   minReads=(Right 0)
1212 | | | | | | | | | | | |   mayRaise=[]
1213 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1214 | | | | | | | | | | | |   minReads=(Right 2)
1215 | | | | | | | | | | | |   mayRaise=["fail"]
1216 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1217 | | | | | | | | | | | |   minReads=(Right 2)
1218 | | | | | | | | | | | |   mayRaise=["fail"]
1219 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1220 | | | | | | | | | | | |   minReads=(Right 2)
1221 | | | | | | | | | | | |   mayRaise=["fail"]
1222 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1223 | | | | | | | | | | | |   minReads=(Right 2)
1224 | | | | | | | | | | | |   mayRaise=["fail"]
1225 | | | | | | | | | | | | call <hidden>
1226 | | | | | | | | | | | |   minReads=(Right 2)
1227 | | | | | | | | | | | |   mayRaise=["fail"]
1228 | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1229 | | | | | | | | | | | |   minReads=(Right 0)
1230 | | | | | | | | | | | |   mayRaise=[]
1231 | | | | | | | | | | | | popException "fail"
1232 | | | | | | | | | | | |   minReads=(Right 0)
1233 | | | | | | | | | | | |   mayRaise=[]
1234 | | | | | | | | | | | | refJoin <hidden>
1235 | | | | | | | | | | | |   minReads=(Right 0)
1236 | | | | | | | | | | | |   mayRaise=[]
1237 | | | | | | | | | | | catchException "fail"
1238 | | | | | | | | | | |   minReads=(Right 0)
1239 | | | | | | | | | | |   mayRaise=[]
1240 | | | | | | | | | | | | <ok>
1241 | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1242 | | | | | | | | | | | | |   minReads=(Right 3)
1243 | | | | | | | | | | | | |   mayRaise=[]
1244 | | | | | | | | | | | | | pushValue Term
1245 | | | | | | | | | | | | |   minReads=(Right 3)
1246 | | | | | | | | | | | | |   mayRaise=[]
1247 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1248 | | | | | | | | | | | | |   minReads=(Right 3)
1249 | | | | | | | | | | | | |   mayRaise=[]
1250 | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1251 | | | | | | | | | | | | |   minReads=(Right 3)
1252 | | | | | | | | | | | | |   mayRaise=[]
1253 | | | | | | | | | | | | | pushValue (\u1 -> u1)
1254 | | | | | | | | | | | | |   minReads=(Right 3)
1255 | | | | | | | | | | | | |   mayRaise=[]
1256 | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1257 | | | | | | | | | | | | |   minReads=(Right 3)
1258 | | | | | | | | | | | | |   mayRaise=[]
1259 | | | | | | | | | | | | | catchException "fail"
1260 | | | | | | | | | | | | |   minReads=(Right 3)
1261 | | | | | | | | | | | | |   mayRaise=[]
1262 | | | | | | | | | | | | | | <ok>
1263 | | | | | | | | | | | | | | | pushValue cons
1264 | | | | | | | | | | | | | | |   minReads=(Right 3)
1265 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1266 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1267 | | | | | | | | | | | | | | |   minReads=(Right 3)
1268 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1269 | | | | | | | | | | | | | | | pushValue 'v'
1270 | | | | | | | | | | | | | | |   minReads=(Right 3)
1271 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1272 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1273 | | | | | | | | | | | | | | |   minReads=(Right 3)
1274 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1275 | | | | | | | | | | | | | | | read ('v' ==)
1276 | | | | | | | | | | | | | | |   minReads=(Right 3)
1277 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1278 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1279 | | | | | | | | | | | | | | |   minReads=(Right 2)
1280 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1281 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1282 | | | | | | | | | | | | | | |   minReads=(Right 2)
1283 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1284 | | | | | | | | | | | | | | | pushValue cons
1285 | | | | | | | | | | | | | | |   minReads=(Right 2)
1286 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1287 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1288 | | | | | | | | | | | | | | |   minReads=(Right 2)
1289 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1290 | | | | | | | | | | | | | | | pushValue 'a'
1291 | | | | | | | | | | | | | | |   minReads=(Right 2)
1292 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1293 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1294 | | | | | | | | | | | | | | |   minReads=(Right 2)
1295 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1296 | | | | | | | | | | | | | | | read ('a' ==)
1297 | | | | | | | | | | | | | | |   minReads=(Right 2)
1298 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1299 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1300 | | | | | | | | | | | | | | |   minReads=(Right 1)
1301 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1302 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1303 | | | | | | | | | | | | | | |   minReads=(Right 1)
1304 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1305 | | | | | | | | | | | | | | | pushValue cons
1306 | | | | | | | | | | | | | | |   minReads=(Right 1)
1307 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1308 | | | | | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1309 | | | | | | | | | | | | | | |   minReads=(Right 1)
1310 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1311 | | | | | | | | | | | | | | | pushValue 'r'
1312 | | | | | | | | | | | | | | |   minReads=(Right 1)
1313 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1314 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1315 | | | | | | | | | | | | | | |   minReads=(Right 1)
1316 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1317 | | | | | | | | | | | | | | | read ('r' ==)
1318 | | | | | | | | | | | | | | |   minReads=(Right 1)
1319 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1320 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1321 | | | | | | | | | | | | | | |   minReads=(Right 0)
1322 | | | | | | | | | | | | | | |   mayRaise=[]
1323 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1324 | | | | | | | | | | | | | | |   minReads=(Right 0)
1325 | | | | | | | | | | | | | | |   mayRaise=[]
1326 | | | | | | | | | | | | | | | pushValue Term
1327 | | | | | | | | | | | | | | |   minReads=(Right 0)
1328 | | | | | | | | | | | | | | |   mayRaise=[]
1329 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1330 | | | | | | | | | | | | | | |   minReads=(Right 0)
1331 | | | | | | | | | | | | | | |   mayRaise=[]
1332 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1333 | | | | | | | | | | | | | | |   minReads=(Right 0)
1334 | | | | | | | | | | | | | | |   mayRaise=[]
1335 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1336 | | | | | | | | | | | | | | |   minReads=(Right 0)
1337 | | | | | | | | | | | | | | |   mayRaise=[]
1338 | | | | | | | | | | | | | | | popException "fail"
1339 | | | | | | | | | | | | | | |   minReads=(Right 0)
1340 | | | | | | | | | | | | | | |   mayRaise=[]
1341 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1342 | | | | | | | | | | | | | | |   minReads=(Right 0)
1343 | | | | | | | | | | | | | | |   mayRaise=[]
1344 | | | | | | | | | | | | | | | call <hidden>
1345 | | | | | | | | | | | | | | |   minReads=(Right 0)
1346 | | | | | | | | | | | | | | |   mayRaise=[]
1347 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1348 | | | | | | | | | | | | | | |   minReads=(Right 0)
1349 | | | | | | | | | | | | | | |   mayRaise=[]
1350 | | | | | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1351 | | | | | | | | | | | | | | |   minReads=(Right 0)
1352 | | | | | | | | | | | | | | |   mayRaise=[]
1353 | | | | | | | | | | | | | | | popException "fail"
1354 | | | | | | | | | | | | | | |   minReads=(Right 0)
1355 | | | | | | | | | | | | | | |   mayRaise=[]
1356 | | | | | | | | | | | | | | | refJoin <hidden>
1357 | | | | | | | | | | | | | | |   minReads=(Right 0)
1358 | | | | | | | | | | | | | | |   mayRaise=[]
1359 | | | | | | | | | | | | | | <ko>
1360 | | | | | | | | | | | | | | | loadInput
1361 | | | | | | | | | | | | | | |   minReads=(Left "fail")
1362 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1363 | | | | | | | | | | | | | | | raiseException "fail"
1364 | | | | | | | | | | | | | | |   minReads=(Left "fail")
1365 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1366 | | | | | | | | | | | | <ko>
1367 | | | | | | | | | | | | | pushInput
1368 | | | | | | | | | | | | |   minReads=(Right 0)
1369 | | | | | | | | | | | | |   mayRaise=["fail"]
1370 | | | | | | | | | | | | | lift2Value Term
1371 | | | | | | | | | | | | |   minReads=(Right 0)
1372 | | | | | | | | | | | | |   mayRaise=["fail"]
1373 | | | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
1374 | | | | | | | | | | | | |   minReads=(Right 0)
1375 | | | | | | | | | | | | |   mayRaise=["fail"]
1376 | | | | | | | | | | | | | | <branch>
1377 | | | | | | | | | | | | | | | call <hidden>
1378 | | | | | | | | | | | | | | |   minReads=(Right 0)
1379 | | | | | | | | | | | | | | |   mayRaise=[]
1380 | | | | | | | | | | | | | | | refJoin <hidden>
1381 | | | | | | | | | | | | | | |   minReads=(Right 0)
1382 | | | | | | | | | | | | | | |   mayRaise=[]
1383 | | | | | | | | | | | | | | <default>
1384 | | | | | | | | | | | | | | | raiseException "fail"
1385 | | | | | | | | | | | | | | |   minReads=(Left "fail")
1386 | | | | | | | | | | | | | | |   mayRaise=["fail"]
1387 | | | | | | | | | | <ko>
1388 | | | | | | | | | | | loadInput
1389 | | | | | | | | | | |   minReads=(Left "fail")
1390 | | | | | | | | | | |   mayRaise=["fail"]
1391 | | | | | | | | | | | raiseException "fail"
1392 | | | | | | | | | | |   minReads=(Left "fail")
1393 | | | | | | | | | | |   mayRaise=["fail"]
1394 | | | | | | | | <default>
1395 | | | | | | | | | raiseException "fail"
1396 | | | | | | | | |   minReads=(Left "fail")
1397 | | | | | | | | |   mayRaise=["fail"]
1398 | | | | <ko>
1399 | | | | | pushInput
1400 | | | | |   minReads=(Right 4)
1401 | | | | |   mayRaise=["fail"]
1402 | | | | | lift2Value Term
1403 | | | | |   minReads=(Right 4)
1404 | | | | |   mayRaise=["fail"]
1405 | | | | | choicesBranch [(\u1 -> u1)]
1406 | | | | |   minReads=(Right 4)
1407 | | | | |   mayRaise=["fail"]
1408 | | | | | | <branch>
1409 | | | | | | | pushValue (\u1 -> (\u2 -> u1))
1410 | | | | | | |   minReads=(Right 4)
1411 | | | | | | |   mayRaise=["fail"]
1412 | | | | | | | call <hidden>
1413 | | | | | | |   minReads=(Right 4)
1414 | | | | | | |   mayRaise=["fail"]
1415 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1416 | | | | | | |   minReads=(Right 2)
1417 | | | | | | |   mayRaise=["fail"]
1418 | | | | | | | call <hidden>
1419 | | | | | | |   minReads=(Right 2)
1420 | | | | | | |   mayRaise=["fail"]
1421 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1422 | | | | | | |   minReads=(Right 0)
1423 | | | | | | |   mayRaise=[]
1424 | | | | | | | refJoin <hidden>
1425 | | | | | | |   minReads=(Right 0)
1426 | | | | | | |   mayRaise=[]
1427 | | | | | | <default>
1428 | | | | | | | raiseException "fail"
1429 | | | | | | |   minReads=(Left "fail")
1430 | | | | | | |   mayRaise=["fail"]
1431 | | <ko>
1432 | | | pushInput
1433 | | |   minReads=(Right 0)
1434 | | |   mayRaise=["fail"]
1435 | | | lift2Value Term
1436 | | |   minReads=(Right 0)
1437 | | |   mayRaise=["fail"]
1438 | | | choicesBranch [(\u1 -> u1)]
1439 | | |   minReads=(Right 0)
1440 | | |   mayRaise=["fail"]
1441 | | | | <branch>
1442 | | | | | pushValue (\u1 -> u1)
1443 | | | | |   minReads=(Right 0)
1444 | | | | |   mayRaise=[]
1445 | | | | | ret
1446 | | | | |   minReads=(Right 0)
1447 | | | | |   mayRaise=[]
1448 | | | | <default>
1449 | | | | | raiseException "fail"
1450 | | | | |   minReads=(Left "fail")
1451 | | | | |   mayRaise=["fail"]
1452 let <hidden>
1453   minReads=(Right 0)
1454   mayRaise=[]
1455 | catchException "fail"
1456 |   minReads=(Right 0)
1457 |   mayRaise=[]
1458 | | <ok>
1459 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
1460 | | |   minReads=(Right 4)
1461 | | |   mayRaise=["fail"]
1462 | | | call <hidden>
1463 | | |   minReads=(Right 4)
1464 | | |   mayRaise=["fail"]
1465 | | | pushValue (\u1 -> (\u2 -> u1))
1466 | | |   minReads=(Right 4)
1467 | | |   mayRaise=["fail"]
1468 | | | pushValue (\u1 -> u1)
1469 | | |   minReads=(Right 4)
1470 | | |   mayRaise=["fail"]
1471 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1472 | | |   minReads=(Right 4)
1473 | | |   mayRaise=["fail"]
1474 | | | call <hidden>
1475 | | |   minReads=(Right 4)
1476 | | |   mayRaise=["fail"]
1477 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1478 | | |   minReads=(Right 2)
1479 | | |   mayRaise=[]
1480 | | | call <hidden>
1481 | | |   minReads=(Right 2)
1482 | | |   mayRaise=[]
1483 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1484 | | |   minReads=(Right 0)
1485 | | |   mayRaise=[]
1486 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1487 | | |   minReads=(Right 0)
1488 | | |   mayRaise=[]
1489 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1490 | | |   minReads=(Right 0)
1491 | | |   mayRaise=[]
1492 | | | call <hidden>
1493 | | |   minReads=(Right 0)
1494 | | |   mayRaise=[]
1495 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1496 | | |   minReads=(Right 0)
1497 | | |   mayRaise=[]
1498 | | | popException "fail"
1499 | | |   minReads=(Right 0)
1500 | | |   mayRaise=[]
1501 | | | ret
1502 | | |   minReads=(Right 0)
1503 | | |   mayRaise=[]
1504 | | <ko>
1505 | | | pushInput
1506 | | |   minReads=(Right 0)
1507 | | |   mayRaise=["fail"]
1508 | | | lift2Value Term
1509 | | |   minReads=(Right 0)
1510 | | |   mayRaise=["fail"]
1511 | | | choicesBranch [(\u1 -> u1)]
1512 | | |   minReads=(Right 0)
1513 | | |   mayRaise=["fail"]
1514 | | | | <branch>
1515 | | | | | pushValue (\u1 -> u1)
1516 | | | | |   minReads=(Right 0)
1517 | | | | |   mayRaise=[]
1518 | | | | | ret
1519 | | | | |   minReads=(Right 0)
1520 | | | | |   mayRaise=[]
1521 | | | | <default>
1522 | | | | | raiseException "fail"
1523 | | | | |   minReads=(Left "fail")
1524 | | | | |   mayRaise=["fail"]
1525 let <hidden>
1526   minReads=(Right 0)
1527   mayRaise=[]
1528 | catchException "fail"
1529 |   minReads=(Right 0)
1530 |   mayRaise=[]
1531 | | <ok>
1532 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
1533 | | |   minReads=(Right 4)
1534 | | |   mayRaise=["fail"]
1535 | | | call <hidden>
1536 | | |   minReads=(Right 4)
1537 | | |   mayRaise=["fail"]
1538 | | | pushValue (\u1 -> (\u2 -> u1))
1539 | | |   minReads=(Right 4)
1540 | | |   mayRaise=["fail"]
1541 | | | pushValue (\u1 -> u1)
1542 | | |   minReads=(Right 4)
1543 | | |   mayRaise=["fail"]
1544 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1545 | | |   minReads=(Right 4)
1546 | | |   mayRaise=["fail"]
1547 | | | call <hidden>
1548 | | |   minReads=(Right 4)
1549 | | |   mayRaise=["fail"]
1550 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1551 | | |   minReads=(Right 2)
1552 | | |   mayRaise=[]
1553 | | | call <hidden>
1554 | | |   minReads=(Right 2)
1555 | | |   mayRaise=[]
1556 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1557 | | |   minReads=(Right 0)
1558 | | |   mayRaise=[]
1559 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1560 | | |   minReads=(Right 0)
1561 | | |   mayRaise=[]
1562 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1563 | | |   minReads=(Right 0)
1564 | | |   mayRaise=[]
1565 | | | call <hidden>
1566 | | |   minReads=(Right 0)
1567 | | |   mayRaise=[]
1568 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1569 | | |   minReads=(Right 0)
1570 | | |   mayRaise=[]
1571 | | | popException "fail"
1572 | | |   minReads=(Right 0)
1573 | | |   mayRaise=[]
1574 | | | ret
1575 | | |   minReads=(Right 0)
1576 | | |   mayRaise=[]
1577 | | <ko>
1578 | | | pushInput
1579 | | |   minReads=(Right 0)
1580 | | |   mayRaise=["fail"]
1581 | | | lift2Value Term
1582 | | |   minReads=(Right 0)
1583 | | |   mayRaise=["fail"]
1584 | | | choicesBranch [(\u1 -> u1)]
1585 | | |   minReads=(Right 0)
1586 | | |   mayRaise=["fail"]
1587 | | | | <branch>
1588 | | | | | pushValue (\u1 -> u1)
1589 | | | | |   minReads=(Right 0)
1590 | | | | |   mayRaise=[]
1591 | | | | | ret
1592 | | | | |   minReads=(Right 0)
1593 | | | | |   mayRaise=[]
1594 | | | | <default>
1595 | | | | | raiseException "fail"
1596 | | | | |   minReads=(Left "fail")
1597 | | | | |   mayRaise=["fail"]
1598 let <hidden>
1599   minReads=(Right 0)
1600   mayRaise=[]
1601 | catchException "fail"
1602 |   minReads=(Right 0)
1603 |   mayRaise=[]
1604 | | <ok>
1605 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
1606 | | |   minReads=(Right 4)
1607 | | |   mayRaise=["fail"]
1608 | | | call <hidden>
1609 | | |   minReads=(Right 4)
1610 | | |   mayRaise=["fail"]
1611 | | | pushValue (\u1 -> (\u2 -> u1))
1612 | | |   minReads=(Right 4)
1613 | | |   mayRaise=["fail"]
1614 | | | pushValue (\u1 -> u1)
1615 | | |   minReads=(Right 4)
1616 | | |   mayRaise=["fail"]
1617 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1618 | | |   minReads=(Right 4)
1619 | | |   mayRaise=["fail"]
1620 | | | call <hidden>
1621 | | |   minReads=(Right 4)
1622 | | |   mayRaise=["fail"]
1623 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1624 | | |   minReads=(Right 2)
1625 | | |   mayRaise=[]
1626 | | | call <hidden>
1627 | | |   minReads=(Right 2)
1628 | | |   mayRaise=[]
1629 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1630 | | |   minReads=(Right 0)
1631 | | |   mayRaise=[]
1632 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1633 | | |   minReads=(Right 0)
1634 | | |   mayRaise=[]
1635 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1636 | | |   minReads=(Right 0)
1637 | | |   mayRaise=[]
1638 | | | call <hidden>
1639 | | |   minReads=(Right 0)
1640 | | |   mayRaise=[]
1641 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1642 | | |   minReads=(Right 0)
1643 | | |   mayRaise=[]
1644 | | | popException "fail"
1645 | | |   minReads=(Right 0)
1646 | | |   mayRaise=[]
1647 | | | ret
1648 | | |   minReads=(Right 0)
1649 | | |   mayRaise=[]
1650 | | <ko>
1651 | | | pushInput
1652 | | |   minReads=(Right 0)
1653 | | |   mayRaise=["fail"]
1654 | | | lift2Value Term
1655 | | |   minReads=(Right 0)
1656 | | |   mayRaise=["fail"]
1657 | | | choicesBranch [(\u1 -> u1)]
1658 | | |   minReads=(Right 0)
1659 | | |   mayRaise=["fail"]
1660 | | | | <branch>
1661 | | | | | pushValue (\u1 -> u1)
1662 | | | | |   minReads=(Right 0)
1663 | | | | |   mayRaise=[]
1664 | | | | | ret
1665 | | | | |   minReads=(Right 0)
1666 | | | | |   mayRaise=[]
1667 | | | | <default>
1668 | | | | | raiseException "fail"
1669 | | | | |   minReads=(Left "fail")
1670 | | | | |   mayRaise=["fail"]
1671 let <hidden>
1672   minReads=(Right 0)
1673   mayRaise=[]
1674 | catchException "fail"
1675 |   minReads=(Right 0)
1676 |   mayRaise=[]
1677 | | <ok>
1678 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
1679 | | |   minReads=(Right 4)
1680 | | |   mayRaise=["fail"]
1681 | | | call <hidden>
1682 | | |   minReads=(Right 4)
1683 | | |   mayRaise=["fail"]
1684 | | | pushValue (\u1 -> (\u2 -> u1))
1685 | | |   minReads=(Right 4)
1686 | | |   mayRaise=["fail"]
1687 | | | pushValue (\u1 -> u1)
1688 | | |   minReads=(Right 4)
1689 | | |   mayRaise=["fail"]
1690 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1691 | | |   minReads=(Right 4)
1692 | | |   mayRaise=["fail"]
1693 | | | call <hidden>
1694 | | |   minReads=(Right 4)
1695 | | |   mayRaise=["fail"]
1696 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1697 | | |   minReads=(Right 2)
1698 | | |   mayRaise=[]
1699 | | | call <hidden>
1700 | | |   minReads=(Right 2)
1701 | | |   mayRaise=[]
1702 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1703 | | |   minReads=(Right 0)
1704 | | |   mayRaise=[]
1705 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1706 | | |   minReads=(Right 0)
1707 | | |   mayRaise=[]
1708 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1709 | | |   minReads=(Right 0)
1710 | | |   mayRaise=[]
1711 | | | call <hidden>
1712 | | |   minReads=(Right 0)
1713 | | |   mayRaise=[]
1714 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1715 | | |   minReads=(Right 0)
1716 | | |   mayRaise=[]
1717 | | | popException "fail"
1718 | | |   minReads=(Right 0)
1719 | | |   mayRaise=[]
1720 | | | ret
1721 | | |   minReads=(Right 0)
1722 | | |   mayRaise=[]
1723 | | <ko>
1724 | | | pushInput
1725 | | |   minReads=(Right 0)
1726 | | |   mayRaise=["fail"]
1727 | | | lift2Value Term
1728 | | |   minReads=(Right 0)
1729 | | |   mayRaise=["fail"]
1730 | | | choicesBranch [(\u1 -> u1)]
1731 | | |   minReads=(Right 0)
1732 | | |   mayRaise=["fail"]
1733 | | | | <branch>
1734 | | | | | pushValue (\u1 -> u1)
1735 | | | | |   minReads=(Right 0)
1736 | | | | |   mayRaise=[]
1737 | | | | | ret
1738 | | | | |   minReads=(Right 0)
1739 | | | | |   mayRaise=[]
1740 | | | | <default>
1741 | | | | | raiseException "fail"
1742 | | | | |   minReads=(Left "fail")
1743 | | | | |   mayRaise=["fail"]
1744 let <hidden>
1745   minReads=(Right 0)
1746   mayRaise=[]
1747 | catchException "fail"
1748 |   minReads=(Right 0)
1749 |   mayRaise=[]
1750 | | <ok>
1751 | | | pushValue (\u1 -> (\u2 -> (\u3 -> u1 (u2 u3))))
1752 | | |   minReads=(Right 4)
1753 | | |   mayRaise=["fail"]
1754 | | | pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
1755 | | |   minReads=(Right 4)
1756 | | |   mayRaise=["fail"]
1757 | | | pushValue (\u1 -> (\u2 -> u1))
1758 | | |   minReads=(Right 4)
1759 | | |   mayRaise=["fail"]
1760 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1761 | | |   minReads=(Right 4)
1762 | | |   mayRaise=["fail"]
1763 | | | pushValue (\u1 -> (\u2 -> u1))
1764 | | |   minReads=(Right 4)
1765 | | |   mayRaise=["fail"]
1766 | | | pushValue (\u1 -> u1)
1767 | | |   minReads=(Right 4)
1768 | | |   mayRaise=["fail"]
1769 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1770 | | |   minReads=(Right 4)
1771 | | |   mayRaise=["fail"]
1772 | | | pushValue (\u1 -> (\u2 -> u1))
1773 | | |   minReads=(Right 4)
1774 | | |   mayRaise=["fail"]
1775 | | | pushValue (\u1 -> (\u2 -> u1))
1776 | | |   minReads=(Right 4)
1777 | | |   mayRaise=["fail"]
1778 | | | pushValue '!'
1779 | | |   minReads=(Right 4)
1780 | | |   mayRaise=["fail"]
1781 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1782 | | |   minReads=(Right 4)
1783 | | |   mayRaise=["fail"]
1784 | | | read ('!' ==)
1785 | | |   minReads=(Right 4)
1786 | | |   mayRaise=["fail"]
1787 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1788 | | |   minReads=(Right 3)
1789 | | |   mayRaise=["fail"]
1790 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1791 | | |   minReads=(Right 3)
1792 | | |   mayRaise=["fail"]
1793 | | | call <hidden>
1794 | | |   minReads=(Right 3)
1795 | | |   mayRaise=["fail"]
1796 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1797 | | |   minReads=(Right 2)
1798 | | |   mayRaise=[]
1799 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1800 | | |   minReads=(Right 2)
1801 | | |   mayRaise=[]
1802 | | | call <hidden>
1803 | | |   minReads=(Right 2)
1804 | | |   mayRaise=[]
1805 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1806 | | |   minReads=(Right 0)
1807 | | |   mayRaise=[]
1808 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1809 | | |   minReads=(Right 0)
1810 | | |   mayRaise=[]
1811 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1812 | | |   minReads=(Right 0)
1813 | | |   mayRaise=[]
1814 | | | call <hidden>
1815 | | |   minReads=(Right 0)
1816 | | |   mayRaise=[]
1817 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1818 | | |   minReads=(Right 0)
1819 | | |   mayRaise=[]
1820 | | | popException "fail"
1821 | | |   minReads=(Right 0)
1822 | | |   mayRaise=[]
1823 | | | ret
1824 | | |   minReads=(Right 0)
1825 | | |   mayRaise=[]
1826 | | <ko>
1827 | | | pushInput
1828 | | |   minReads=(Right 0)
1829 | | |   mayRaise=["fail"]
1830 | | | lift2Value Term
1831 | | |   minReads=(Right 0)
1832 | | |   mayRaise=["fail"]
1833 | | | choicesBranch [(\u1 -> u1)]
1834 | | |   minReads=(Right 0)
1835 | | |   mayRaise=["fail"]
1836 | | | | <branch>
1837 | | | | | pushValue (\u1 -> u1)
1838 | | | | |   minReads=(Right 0)
1839 | | | | |   mayRaise=[]
1840 | | | | | ret
1841 | | | | |   minReads=(Right 0)
1842 | | | | |   mayRaise=[]
1843 | | | | <default>
1844 | | | | | raiseException "fail"
1845 | | | | |   minReads=(Left "fail")
1846 | | | | |   mayRaise=["fail"]
1847 let <hidden>
1848   minReads=(Right 0)
1849   mayRaise=[]
1850 | catchException "fail"
1851 |   minReads=(Right 0)
1852 |   mayRaise=[]
1853 | | <ok>
1854 | | | pushValue (\u1 -> (\u2 -> u1))
1855 | | |   minReads=(Right 2)
1856 | | |   mayRaise=[]
1857 | | | pushValue Term
1858 | | |   minReads=(Right 2)
1859 | | |   mayRaise=[]
1860 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1861 | | |   minReads=(Right 2)
1862 | | |   mayRaise=[]
1863 | | | pushValue (\u1 -> (\u2 -> u1))
1864 | | |   minReads=(Right 2)
1865 | | |   mayRaise=[]
1866 | | | pushValue (\u1 -> u1)
1867 | | |   minReads=(Right 2)
1868 | | |   mayRaise=[]
1869 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1870 | | |   minReads=(Right 2)
1871 | | |   mayRaise=[]
1872 | | | call <hidden>
1873 | | |   minReads=(Right 2)
1874 | | |   mayRaise=[]
1875 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1876 | | |   minReads=(Right 0)
1877 | | |   mayRaise=[]
1878 | | | pushValue (\u1 -> (\u2 -> u1))
1879 | | |   minReads=(Right 0)
1880 | | |   mayRaise=[]
1881 | | | pushValue (\u1 -> u1)
1882 | | |   minReads=(Right 0)
1883 | | |   mayRaise=[]
1884 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1885 | | |   minReads=(Right 0)
1886 | | |   mayRaise=[]
1887 | | | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
1888 | | |   minReads=(Right 0)
1889 | | |   mayRaise=[]
1890 | | | call <hidden>
1891 | | |   minReads=(Right 0)
1892 | | |   mayRaise=[]
1893 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1894 | | |   minReads=(Right 0)
1895 | | |   mayRaise=[]
1896 | | | call <hidden>
1897 | | |   minReads=(Right 0)
1898 | | |   mayRaise=[]
1899 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1900 | | |   minReads=(Right 0)
1901 | | |   mayRaise=[]
1902 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1903 | | |   minReads=(Right 0)
1904 | | |   mayRaise=[]
1905 | | | call <hidden>
1906 | | |   minReads=(Right 0)
1907 | | |   mayRaise=[]
1908 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1909 | | |   minReads=(Right 0)
1910 | | |   mayRaise=[]
1911 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1912 | | |   minReads=(Right 0)
1913 | | |   mayRaise=[]
1914 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
1915 | | |   minReads=(Right 0)
1916 | | |   mayRaise=[]
1917 | | | popException "fail"
1918 | | |   minReads=(Right 0)
1919 | | |   mayRaise=[]
1920 | | | ret
1921 | | |   minReads=(Right 0)
1922 | | |   mayRaise=[]
1923 | | <ko>
1924 | | | pushInput
1925 | | |   minReads=(Right 0)
1926 | | |   mayRaise=["fail"]
1927 | | | lift2Value Term
1928 | | |   minReads=(Right 0)
1929 | | |   mayRaise=["fail"]
1930 | | | choicesBranch [(\u1 -> u1)]
1931 | | |   minReads=(Right 0)
1932 | | |   mayRaise=["fail"]
1933 | | | | <branch>
1934 | | | | | jump <hidden>
1935 | | | | |   minReads=(Right 0)
1936 | | | | |   mayRaise=[]
1937 | | | | <default>
1938 | | | | | raiseException "fail"
1939 | | | | |   minReads=(Left "fail")
1940 | | | | |   mayRaise=["fail"]
1941 let <hidden>
1942   minReads=(Right 0)
1943   mayRaise=[]
1944 | pushValue (\u1 -> (\u2 -> (\u3 -> (u1 u3) u2)))
1945 |   minReads=(Right 0)
1946 |   mayRaise=[]
1947 | pushValue (\u1 -> (\u2 -> u1))
1948 |   minReads=(Right 0)
1949 |   mayRaise=[]
1950 | lift2Value (\u1 -> (\u2 -> u1 u2))
1951 |   minReads=(Right 0)
1952 |   mayRaise=[]
1953 | ret
1954 |   minReads=(Right 0)
1955 |   mayRaise=[]
1956 let <hidden>
1957   minReads=(Right 0)
1958   mayRaise=[]
1959 | pushValue Term
1960 |   minReads=(Right 0)
1961 |   mayRaise=[]
1962 | ret
1963 |   minReads=(Right 0)
1964 |   mayRaise=[]
1965 let <hidden>
1966   minReads=(Right 0)
1967   mayRaise=[]
1968 | pushValue Term
1969 |   minReads=(Right 0)
1970 |   mayRaise=[]
1971 | ret
1972 |   minReads=(Right 0)
1973 |   mayRaise=[]
1974 let <hidden>
1975   minReads=(Right 1)
1976   mayRaise=["fail"]
1977 | pushValue (\u1 -> (\u2 -> u1))
1978 |   minReads=(Right 1)
1979 |   mayRaise=["fail"]
1980 | pushValue (\u1 -> u1)
1981 |   minReads=(Right 1)
1982 |   mayRaise=["fail"]
1983 | lift2Value (\u1 -> (\u2 -> u1 u2))
1984 |   minReads=(Right 1)
1985 |   mayRaise=["fail"]
1986 | call <hidden>
1987 |   minReads=(Right 1)
1988 |   mayRaise=["fail"]
1989 | lift2Value (\u1 -> (\u2 -> u1 u2))
1990 |   minReads=(Right 0)
1991 |   mayRaise=[]
1992 | pushValue (\u1 -> (\u2 -> u1))
1993 |   minReads=(Right 0)
1994 |   mayRaise=[]
1995 | pushValue (\u1 -> u1)
1996 |   minReads=(Right 0)
1997 |   mayRaise=[]
1998 | lift2Value (\u1 -> (\u2 -> u1 u2))
1999 |   minReads=(Right 0)
2000 |   mayRaise=[]
2001 | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
2002 |   minReads=(Right 0)
2003 |   mayRaise=[]
2004 | pushValue Term
2005 |   minReads=(Right 0)
2006 |   mayRaise=[]
2007 | lift2Value (\u1 -> (\u2 -> u1 u2))
2008 |   minReads=(Right 0)
2009 |   mayRaise=[]
2010 | call <hidden>
2011 |   minReads=(Right 0)
2012 |   mayRaise=[]
2013 | lift2Value (\u1 -> (\u2 -> u1 u2))
2014 |   minReads=(Right 0)
2015 |   mayRaise=[]
2016 | lift2Value (\u1 -> (\u2 -> u1 u2))
2017 |   minReads=(Right 0)
2018 |   mayRaise=[]
2019 | pushValue Term
2020 |   minReads=(Right 0)
2021 |   mayRaise=[]
2022 | lift2Value (\u1 -> (\u2 -> u1 u2))
2023 |   minReads=(Right 0)
2024 |   mayRaise=[]
2025 | lift2Value (\u1 -> (\u2 -> u1 u2))
2026 |   minReads=(Right 0)
2027 |   mayRaise=[]
2028 | ret
2029 |   minReads=(Right 0)
2030 |   mayRaise=[]
2031 let <hidden>
2032   minReads=(Right 1)
2033   mayRaise=["fail"]
2034 | pushValue (\u1 -> (\u2 -> u1))
2035 |   minReads=(Right 1)
2036 |   mayRaise=["fail"]
2037 | pushValue (\u1 -> u1)
2038 |   minReads=(Right 1)
2039 |   mayRaise=["fail"]
2040 | lift2Value (\u1 -> (\u2 -> u1 u2))
2041 |   minReads=(Right 1)
2042 |   mayRaise=["fail"]
2043 | read Term
2044 |   minReads=(Right 1)
2045 |   mayRaise=["fail"]
2046 | lift2Value (\u1 -> (\u2 -> u1 u2))
2047 |   minReads=(Right 0)
2048 |   mayRaise=[]
2049 | call <hidden>
2050 |   minReads=(Right 0)
2051 |   mayRaise=[]
2052 | lift2Value (\u1 -> (\u2 -> u1 u2))
2053 |   minReads=(Right 0)
2054 |   mayRaise=[]
2055 | ret
2056 |   minReads=(Right 0)
2057 |   mayRaise=[]
2058 let <hidden>
2059   minReads=(Right 1)
2060   mayRaise=["fail"]
2061 | read Term
2062 |   minReads=(Right 1)
2063 |   mayRaise=["fail"]
2064 | ret
2065 |   minReads=(Right 0)
2066 |   mayRaise=[]
2067 let <hidden>
2068   minReads=(Right 2)
2069   mayRaise=["fail"]
2070 | pushValue (\u1 -> (\u2 -> u1))
2071 |   minReads=(Right 2)
2072 |   mayRaise=["fail"]
2073 | pushValue (\u1 -> (\u2 -> u1))
2074 |   minReads=(Right 2)
2075 |   mayRaise=["fail"]
2076 | pushValue '('
2077 |   minReads=(Right 2)
2078 |   mayRaise=["fail"]
2079 | lift2Value (\u1 -> (\u2 -> u1 u2))
2080 |   minReads=(Right 2)
2081 |   mayRaise=["fail"]
2082 | read ('(' ==)
2083 |   minReads=(Right 2)
2084 |   mayRaise=["fail"]
2085 | lift2Value (\u1 -> (\u2 -> u1 u2))
2086 |   minReads=(Right 1)
2087 |   mayRaise=["fail"]
2088 | lift2Value (\u1 -> (\u2 -> u1 u2))
2089 |   minReads=(Right 1)
2090 |   mayRaise=["fail"]
2091 | call <hidden>
2092 |   minReads=(Right 1)
2093 |   mayRaise=["fail"]
2094 | lift2Value (\u1 -> (\u2 -> u1 u2))
2095 |   minReads=(Right 0)
2096 |   mayRaise=[]
2097 | ret
2098 |   minReads=(Right 0)
2099 |   mayRaise=[]
2100 let <hidden>
2101   minReads=(Right 2)
2102   mayRaise=["fail"]
2103 | pushValue (\u1 -> (\u2 -> u1))
2104 |   minReads=(Right 2)
2105 |   mayRaise=["fail"]
2106 | pushValue (\u1 -> (\u2 -> u1))
2107 |   minReads=(Right 2)
2108 |   mayRaise=["fail"]
2109 | pushValue ')'
2110 |   minReads=(Right 2)
2111 |   mayRaise=["fail"]
2112 | lift2Value (\u1 -> (\u2 -> u1 u2))
2113 |   minReads=(Right 2)
2114 |   mayRaise=["fail"]
2115 | read (')' ==)
2116 |   minReads=(Right 2)
2117 |   mayRaise=["fail"]
2118 | lift2Value (\u1 -> (\u2 -> u1 u2))
2119 |   minReads=(Right 1)
2120 |   mayRaise=["fail"]
2121 | lift2Value (\u1 -> (\u2 -> u1 u2))
2122 |   minReads=(Right 1)
2123 |   mayRaise=["fail"]
2124 | call <hidden>
2125 |   minReads=(Right 1)
2126 |   mayRaise=["fail"]
2127 | lift2Value (\u1 -> (\u2 -> u1 u2))
2128 |   minReads=(Right 0)
2129 |   mayRaise=[]
2130 | ret
2131 |   minReads=(Right 0)
2132 |   mayRaise=[]
2133 let <hidden>
2134   minReads=(Right 2)
2135   mayRaise=["fail"]
2136 | pushValue (\u1 -> (\u2 -> u1))
2137 |   minReads=(Right 2)
2138 |   mayRaise=["fail"]
2139 | pushValue (\u1 -> (\u2 -> u1))
2140 |   minReads=(Right 2)
2141 |   mayRaise=["fail"]
2142 | pushValue ','
2143 |   minReads=(Right 2)
2144 |   mayRaise=["fail"]
2145 | lift2Value (\u1 -> (\u2 -> u1 u2))
2146 |   minReads=(Right 2)
2147 |   mayRaise=["fail"]
2148 | read (',' ==)
2149 |   minReads=(Right 2)
2150 |   mayRaise=["fail"]
2151 | lift2Value (\u1 -> (\u2 -> u1 u2))
2152 |   minReads=(Right 1)
2153 |   mayRaise=["fail"]
2154 | lift2Value (\u1 -> (\u2 -> u1 u2))
2155 |   minReads=(Right 1)
2156 |   mayRaise=["fail"]
2157 | call <hidden>
2158 |   minReads=(Right 1)
2159 |   mayRaise=["fail"]
2160 | lift2Value (\u1 -> (\u2 -> u1 u2))
2161 |   minReads=(Right 0)
2162 |   mayRaise=[]
2163 | ret
2164 |   minReads=(Right 0)
2165 |   mayRaise=[]
2166 let <hidden>
2167   minReads=(Right 2)
2168   mayRaise=["fail"]
2169 | pushValue (\u1 -> (\u2 -> u1))
2170 |   minReads=(Right 2)
2171 |   mayRaise=["fail"]
2172 | pushValue (\u1 -> (\u2 -> u1))
2173 |   minReads=(Right 2)
2174 |   mayRaise=["fail"]
2175 | pushValue ';'
2176 |   minReads=(Right 2)
2177 |   mayRaise=["fail"]
2178 | lift2Value (\u1 -> (\u2 -> u1 u2))
2179 |   minReads=(Right 2)
2180 |   mayRaise=["fail"]
2181 | read (';' ==)
2182 |   minReads=(Right 2)
2183 |   mayRaise=["fail"]
2184 | lift2Value (\u1 -> (\u2 -> u1 u2))
2185 |   minReads=(Right 1)
2186 |   mayRaise=["fail"]
2187 | lift2Value (\u1 -> (\u2 -> u1 u2))
2188 |   minReads=(Right 1)
2189 |   mayRaise=["fail"]
2190 | call <hidden>
2191 |   minReads=(Right 1)
2192 |   mayRaise=["fail"]
2193 | lift2Value (\u1 -> (\u2 -> u1 u2))
2194 |   minReads=(Right 0)
2195 |   mayRaise=[]
2196 | ret
2197 |   minReads=(Right 0)
2198 |   mayRaise=[]
2199 let <hidden>
2200   minReads=(Right 2)
2201   mayRaise=[]
2202 | catchException "fail"
2203 |   minReads=(Right 2)
2204 |   mayRaise=[]
2205 | | <ok>
2206 | | | join <hidden>
2207 | | |   minReads=(Right 0)
2208 | | |   mayRaise=[]
2209 | | | | popException "fail"
2210 | | | |   minReads=(Right 0)
2211 | | | |   mayRaise=[]
2212 | | | | ret
2213 | | | |   minReads=(Right 0)
2214 | | | |   mayRaise=[]
2215 | | | catchException "fail"
2216 | | |   minReads=(Right 2)
2217 | | |   mayRaise=[]
2218 | | | | <ok>
2219 | | | | | pushValue (\u1 -> (\u2 -> u1))
2220 | | | | |   minReads=(Right 2)
2221 | | | | |   mayRaise=[]
2222 | | | | | pushValue (\u1 -> u1)
2223 | | | | |   minReads=(Right 2)
2224 | | | | |   mayRaise=[]
2225 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2226 | | | | |   minReads=(Right 2)
2227 | | | | |   mayRaise=[]
2228 | | | | | join <hidden>
2229 | | | | |   minReads=(Right 1)
2230 | | | | |   mayRaise=["fail"]
2231 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2232 | | | | | |   minReads=(Right 1)
2233 | | | | | |   mayRaise=["fail"]
2234 | | | | | | call <hidden>
2235 | | | | | |   minReads=(Right 1)
2236 | | | | | |   mayRaise=["fail"]
2237 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2238 | | | | | |   minReads=(Right 0)
2239 | | | | | |   mayRaise=[]
2240 | | | | | | popException "fail"
2241 | | | | | |   minReads=(Right 0)
2242 | | | | | |   mayRaise=[]
2243 | | | | | | refJoin <hidden>
2244 | | | | | |   minReads=(Right 0)
2245 | | | | | |   mayRaise=[]
2246 | | | | | catchException "fail"
2247 | | | | |   minReads=(Right 1)
2248 | | | | |   mayRaise=[]
2249 | | | | | | <ok>
2250 | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2251 | | | | | | |   minReads=(Right 1)
2252 | | | | | | |   mayRaise=["fail"]
2253 | | | | | | | pushValue '0'
2254 | | | | | | |   minReads=(Right 1)
2255 | | | | | | |   mayRaise=["fail"]
2256 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2257 | | | | | | |   minReads=(Right 1)
2258 | | | | | | |   mayRaise=["fail"]
2259 | | | | | | | read ('0' ==)
2260 | | | | | | |   minReads=(Right 1)
2261 | | | | | | |   mayRaise=["fail"]
2262 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2263 | | | | | | |   minReads=(Right 0)
2264 | | | | | | |   mayRaise=[]
2265 | | | | | | | popException "fail"
2266 | | | | | | |   minReads=(Right 0)
2267 | | | | | | |   mayRaise=[]
2268 | | | | | | | refJoin <hidden>
2269 | | | | | | |   minReads=(Right 0)
2270 | | | | | | |   mayRaise=[]
2271 | | | | | | <ko>
2272 | | | | | | | pushInput
2273 | | | | | | |   minReads=(Right 1)
2274 | | | | | | |   mayRaise=["fail"]
2275 | | | | | | | lift2Value Term
2276 | | | | | | |   minReads=(Right 1)
2277 | | | | | | |   mayRaise=["fail"]
2278 | | | | | | | choicesBranch [(\u1 -> u1)]
2279 | | | | | | |   minReads=(Right 1)
2280 | | | | | | |   mayRaise=["fail"]
2281 | | | | | | | | <branch>
2282 | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2283 | | | | | | | | |   minReads=(Right 1)
2284 | | | | | | | | |   mayRaise=["fail"]
2285 | | | | | | | | | pushValue '1'
2286 | | | | | | | | |   minReads=(Right 1)
2287 | | | | | | | | |   mayRaise=["fail"]
2288 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2289 | | | | | | | | |   minReads=(Right 1)
2290 | | | | | | | | |   mayRaise=["fail"]
2291 | | | | | | | | | read ('1' ==)
2292 | | | | | | | | |   minReads=(Right 1)
2293 | | | | | | | | |   mayRaise=["fail"]
2294 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2295 | | | | | | | | |   minReads=(Right 0)
2296 | | | | | | | | |   mayRaise=[]
2297 | | | | | | | | | refJoin <hidden>
2298 | | | | | | | | |   minReads=(Right 0)
2299 | | | | | | | | |   mayRaise=[]
2300 | | | | | | | | <default>
2301 | | | | | | | | | raiseException "fail"
2302 | | | | | | | | |   minReads=(Left "fail")
2303 | | | | | | | | |   mayRaise=["fail"]
2304 | | | | <ko>
2305 | | | | | pushInput
2306 | | | | |   minReads=(Right 4)
2307 | | | | |   mayRaise=["fail"]
2308 | | | | | lift2Value Term
2309 | | | | |   minReads=(Right 4)
2310 | | | | |   mayRaise=["fail"]
2311 | | | | | choicesBranch [(\u1 -> u1)]
2312 | | | | |   minReads=(Right 4)
2313 | | | | |   mayRaise=["fail"]
2314 | | | | | | <branch>
2315 | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2316 | | | | | | |   minReads=(Right 4)
2317 | | | | | | |   mayRaise=["fail"]
2318 | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2319 | | | | | | |   minReads=(Right 4)
2320 | | | | | | |   mayRaise=["fail"]
2321 | | | | | | | pushValue (\u1 -> u1)
2322 | | | | | | |   minReads=(Right 4)
2323 | | | | | | |   mayRaise=["fail"]
2324 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2325 | | | | | | |   minReads=(Right 4)
2326 | | | | | | |   mayRaise=["fail"]
2327 | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2328 | | | | | | |   minReads=(Right 4)
2329 | | | | | | |   mayRaise=["fail"]
2330 | | | | | | | pushValue '\''
2331 | | | | | | |   minReads=(Right 4)
2332 | | | | | | |   mayRaise=["fail"]
2333 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2334 | | | | | | |   minReads=(Right 4)
2335 | | | | | | |   mayRaise=["fail"]
2336 | | | | | | | read ('\'' ==)
2337 | | | | | | |   minReads=(Right 4)
2338 | | | | | | |   mayRaise=["fail"]
2339 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2340 | | | | | | |   minReads=(Right 3)
2341 | | | | | | |   mayRaise=[]
2342 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2343 | | | | | | |   minReads=(Right 3)
2344 | | | | | | |   mayRaise=[]
2345 | | | | | | | join <hidden>
2346 | | | | | | |   minReads=(Right 2)
2347 | | | | | | |   mayRaise=["fail"]
2348 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2349 | | | | | | | |   minReads=(Right 2)
2350 | | | | | | | |   mayRaise=["fail"]
2351 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2352 | | | | | | | |   minReads=(Right 2)
2353 | | | | | | | |   mayRaise=["fail"]
2354 | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2355 | | | | | | | |   minReads=(Right 2)
2356 | | | | | | | |   mayRaise=["fail"]
2357 | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2358 | | | | | | | |   minReads=(Right 2)
2359 | | | | | | | |   mayRaise=["fail"]
2360 | | | | | | | | pushValue '\''
2361 | | | | | | | |   minReads=(Right 2)
2362 | | | | | | | |   mayRaise=["fail"]
2363 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2364 | | | | | | | |   minReads=(Right 2)
2365 | | | | | | | |   mayRaise=["fail"]
2366 | | | | | | | | read ('\'' ==)
2367 | | | | | | | |   minReads=(Right 2)
2368 | | | | | | | |   mayRaise=["fail"]
2369 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2370 | | | | | | | |   minReads=(Right 1)
2371 | | | | | | | |   mayRaise=["fail"]
2372 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2373 | | | | | | | |   minReads=(Right 1)
2374 | | | | | | | |   mayRaise=["fail"]
2375 | | | | | | | | call <hidden>
2376 | | | | | | | |   minReads=(Right 1)
2377 | | | | | | | |   mayRaise=["fail"]
2378 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2379 | | | | | | | |   minReads=(Right 0)
2380 | | | | | | | |   mayRaise=[]
2381 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2382 | | | | | | | |   minReads=(Right 0)
2383 | | | | | | | |   mayRaise=[]
2384 | | | | | | | | refJoin <hidden>
2385 | | | | | | | |   minReads=(Right 0)
2386 | | | | | | | |   mayRaise=[]
2387 | | | | | | | catchException "fail"
2388 | | | | | | |   minReads=(Right 1)
2389 | | | | | | |   mayRaise=[]
2390 | | | | | | | | <ok>
2391 | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2392 | | | | | | | | |   minReads=(Right 1)
2393 | | | | | | | | |   mayRaise=["fail"]
2394 | | | | | | | | | pushValue (\u1 -> u1)
2395 | | | | | | | | |   minReads=(Right 1)
2396 | | | | | | | | |   mayRaise=["fail"]
2397 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2398 | | | | | | | | |   minReads=(Right 1)
2399 | | | | | | | | |   mayRaise=["fail"]
2400 | | | | | | | | | read Term
2401 | | | | | | | | |   minReads=(Right 1)
2402 | | | | | | | | |   mayRaise=["fail"]
2403 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2404 | | | | | | | | |   minReads=(Right 0)
2405 | | | | | | | | |   mayRaise=[]
2406 | | | | | | | | | call <hidden>
2407 | | | | | | | | |   minReads=(Right 0)
2408 | | | | | | | | |   mayRaise=[]
2409 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2410 | | | | | | | | |   minReads=(Right 0)
2411 | | | | | | | | |   mayRaise=[]
2412 | | | | | | | | | popException "fail"
2413 | | | | | | | | |   minReads=(Right 0)
2414 | | | | | | | | |   mayRaise=[]
2415 | | | | | | | | | refJoin <hidden>
2416 | | | | | | | | |   minReads=(Right 0)
2417 | | | | | | | | |   mayRaise=[]
2418 | | | | | | | | <ko>
2419 | | | | | | | | | pushInput
2420 | | | | | | | | |   minReads=(Right 2)
2421 | | | | | | | | |   mayRaise=["fail"]
2422 | | | | | | | | | lift2Value Term
2423 | | | | | | | | |   minReads=(Right 2)
2424 | | | | | | | | |   mayRaise=["fail"]
2425 | | | | | | | | | choicesBranch [(\u1 -> u1)]
2426 | | | | | | | | |   minReads=(Right 2)
2427 | | | | | | | | |   mayRaise=["fail"]
2428 | | | | | | | | | | <branch>
2429 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2430 | | | | | | | | | | |   minReads=(Right 2)
2431 | | | | | | | | | | |   mayRaise=["fail"]
2432 | | | | | | | | | | | pushValue (\u1 -> u1)
2433 | | | | | | | | | | |   minReads=(Right 2)
2434 | | | | | | | | | | |   mayRaise=["fail"]
2435 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2436 | | | | | | | | | | |   minReads=(Right 2)
2437 | | | | | | | | | | |   mayRaise=["fail"]
2438 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2439 | | | | | | | | | | |   minReads=(Right 2)
2440 | | | | | | | | | | |   mayRaise=["fail"]
2441 | | | | | | | | | | | pushValue '\\'
2442 | | | | | | | | | | |   minReads=(Right 2)
2443 | | | | | | | | | | |   mayRaise=["fail"]
2444 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2445 | | | | | | | | | | |   minReads=(Right 2)
2446 | | | | | | | | | | |   mayRaise=["fail"]
2447 | | | | | | | | | | | read ('\\' ==)
2448 | | | | | | | | | | |   minReads=(Right 2)
2449 | | | | | | | | | | |   mayRaise=["fail"]
2450 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2451 | | | | | | | | | | |   minReads=(Right 1)
2452 | | | | | | | | | | |   mayRaise=["fail"]
2453 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2454 | | | | | | | | | | |   minReads=(Right 1)
2455 | | | | | | | | | | |   mayRaise=["fail"]
2456 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2457 | | | | | | | | | | |   minReads=(Right 1)
2458 | | | | | | | | | | |   mayRaise=["fail"]
2459 | | | | | | | | | | | pushValue (\u1 -> u1)
2460 | | | | | | | | | | |   minReads=(Right 1)
2461 | | | | | | | | | | |   mayRaise=["fail"]
2462 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2463 | | | | | | | | | | |   minReads=(Right 1)
2464 | | | | | | | | | | |   mayRaise=["fail"]
2465 | | | | | | | | | | | read Term
2466 | | | | | | | | | | |   minReads=(Right 1)
2467 | | | | | | | | | | |   mayRaise=["fail"]
2468 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2469 | | | | | | | | | | |   minReads=(Right 0)
2470 | | | | | | | | | | |   mayRaise=[]
2471 | | | | | | | | | | | call <hidden>
2472 | | | | | | | | | | |   minReads=(Right 0)
2473 | | | | | | | | | | |   mayRaise=[]
2474 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2475 | | | | | | | | | | |   minReads=(Right 0)
2476 | | | | | | | | | | |   mayRaise=[]
2477 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2478 | | | | | | | | | | |   minReads=(Right 0)
2479 | | | | | | | | | | |   mayRaise=[]
2480 | | | | | | | | | | | refJoin <hidden>
2481 | | | | | | | | | | |   minReads=(Right 0)
2482 | | | | | | | | | | |   mayRaise=[]
2483 | | | | | | | | | | <default>
2484 | | | | | | | | | | | raiseException "fail"
2485 | | | | | | | | | | |   minReads=(Left "fail")
2486 | | | | | | | | | | |   mayRaise=["fail"]
2487 | | | | | | <default>
2488 | | | | | | | raiseException "fail"
2489 | | | | | | |   minReads=(Left "fail")
2490 | | | | | | |   mayRaise=["fail"]
2491 | | <ko>
2492 | | | pushInput
2493 | | |   minReads=(Right 2)
2494 | | |   mayRaise=["fail"]
2495 | | | lift2Value Term
2496 | | |   minReads=(Right 2)
2497 | | |   mayRaise=["fail"]
2498 | | | choicesBranch [(\u1 -> u1)]
2499 | | |   minReads=(Right 2)
2500 | | |   mayRaise=["fail"]
2501 | | | | <branch>
2502 | | | | | pushValue (\u1 -> (\u2 -> u1))
2503 | | | | |   minReads=(Right 2)
2504 | | | | |   mayRaise=[]
2505 | | | | | pushValue (\u1 -> u1)
2506 | | | | |   minReads=(Right 2)
2507 | | | | |   mayRaise=[]
2508 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2509 | | | | |   minReads=(Right 2)
2510 | | | | |   mayRaise=[]
2511 | | | | | call <hidden>
2512 | | | | |   minReads=(Right 2)
2513 | | | | |   mayRaise=[]
2514 | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2515 | | | | |   minReads=(Right 0)
2516 | | | | |   mayRaise=[]
2517 | | | | | join <hidden>
2518 | | | | |   minReads=(Right 0)
2519 | | | | |   mayRaise=[]
2520 | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2521 | | | | | |   minReads=(Right 0)
2522 | | | | | |   mayRaise=[]
2523 | | | | | | ret
2524 | | | | | |   minReads=(Right 0)
2525 | | | | | |   mayRaise=[]
2526 | | | | | catchException "fail"
2527 | | | | |   minReads=(Right 0)
2528 | | | | |   mayRaise=[]
2529 | | | | | | <ok>
2530 | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2531 | | | | | | |   minReads=(Right 4)
2532 | | | | | | |   mayRaise=[]
2533 | | | | | | | pushValue Term
2534 | | | | | | |   minReads=(Right 4)
2535 | | | | | | |   mayRaise=[]
2536 | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2537 | | | | | | |   minReads=(Right 4)
2538 | | | | | | |   mayRaise=[]
2539 | | | | | | | join <hidden>
2540 | | | | | | |   minReads=(Right 0)
2541 | | | | | | |   mayRaise=[]
2542 | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2543 | | | | | | | |   minReads=(Right 0)
2544 | | | | | | | |   mayRaise=[]
2545 | | | | | | | | popException "fail"
2546 | | | | | | | |   minReads=(Right 0)
2547 | | | | | | | |   mayRaise=[]
2548 | | | | | | | | refJoin <hidden>
2549 | | | | | | | |   minReads=(Right 0)
2550 | | | | | | | |   mayRaise=[]
2551 | | | | | | | catchException "fail"
2552 | | | | | | |   minReads=(Right 4)
2553 | | | | | | |   mayRaise=[]
2554 | | | | | | | | <ok>
2555 | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2556 | | | | | | | | |   minReads=(Right 4)
2557 | | | | | | | | |   mayRaise=["fail"]
2558 | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2559 | | | | | | | | |   minReads=(Right 4)
2560 | | | | | | | | |   mayRaise=["fail"]
2561 | | | | | | | | | pushValue (\u1 -> u1)
2562 | | | | | | | | |   minReads=(Right 4)
2563 | | | | | | | | |   mayRaise=["fail"]
2564 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2565 | | | | | | | | |   minReads=(Right 4)
2566 | | | | | | | | |   mayRaise=["fail"]
2567 | | | | | | | | | call <hidden>
2568 | | | | | | | | |   minReads=(Right 4)
2569 | | | | | | | | |   mayRaise=["fail"]
2570 | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2571 | | | | | | | | |   minReads=(Right 2)
2572 | | | | | | | | |   mayRaise=[]
2573 | | | | | | | | | join <hidden>
2574 | | | | | | | | |   minReads=(Right 2)
2575 | | | | | | | | |   mayRaise=["fail"]
2576 | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2577 | | | | | | | | | |   minReads=(Right 2)
2578 | | | | | | | | | |   mayRaise=["fail"]
2579 | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2580 | | | | | | | | | |   minReads=(Right 2)
2581 | | | | | | | | | |   mayRaise=["fail"]
2582 | | | | | | | | | | call <hidden>
2583 | | | | | | | | | |   minReads=(Right 2)
2584 | | | | | | | | | |   mayRaise=["fail"]
2585 | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2586 | | | | | | | | | |   minReads=(Right 0)
2587 | | | | | | | | | |   mayRaise=[]
2588 | | | | | | | | | | popException "fail"
2589 | | | | | | | | | |   minReads=(Right 0)
2590 | | | | | | | | | |   mayRaise=[]
2591 | | | | | | | | | | refJoin <hidden>
2592 | | | | | | | | | |   minReads=(Right 0)
2593 | | | | | | | | | |   mayRaise=[]
2594 | | | | | | | | | catchException "fail"
2595 | | | | | | | | |   minReads=(Right 0)
2596 | | | | | | | | |   mayRaise=[]
2597 | | | | | | | | | | <ok>
2598 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2599 | | | | | | | | | | |   minReads=(Right 2)
2600 | | | | | | | | | | |   mayRaise=[]
2601 | | | | | | | | | | | pushValue Term
2602 | | | | | | | | | | |   minReads=(Right 2)
2603 | | | | | | | | | | |   mayRaise=[]
2604 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2605 | | | | | | | | | | |   minReads=(Right 2)
2606 | | | | | | | | | | |   mayRaise=[]
2607 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2608 | | | | | | | | | | |   minReads=(Right 2)
2609 | | | | | | | | | | |   mayRaise=[]
2610 | | | | | | | | | | | pushValue (\u1 -> u1)
2611 | | | | | | | | | | |   minReads=(Right 2)
2612 | | | | | | | | | | |   mayRaise=[]
2613 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2614 | | | | | | | | | | |   minReads=(Right 2)
2615 | | | | | | | | | | |   mayRaise=[]
2616 | | | | | | | | | | | call <hidden>
2617 | | | | | | | | | | |   minReads=(Right 2)
2618 | | | | | | | | | | |   mayRaise=[]
2619 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2620 | | | | | | | | | | |   minReads=(Right 0)
2621 | | | | | | | | | | |   mayRaise=[]
2622 | | | | | | | | | | | pushValue (\u1 -> (\u2 -> u1))
2623 | | | | | | | | | | |   minReads=(Right 0)
2624 | | | | | | | | | | |   mayRaise=[]
2625 | | | | | | | | | | | pushValue (\u1 -> u1)
2626 | | | | | | | | | | |   minReads=(Right 0)
2627 | | | | | | | | | | |   mayRaise=[]
2628 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2629 | | | | | | | | | | |   minReads=(Right 0)
2630 | | | | | | | | | | |   mayRaise=[]
2631 | | | | | | | | | | | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
2632 | | | | | | | | | | |   minReads=(Right 0)
2633 | | | | | | | | | | |   mayRaise=[]
2634 | | | | | | | | | | | call <hidden>
2635 | | | | | | | | | | |   minReads=(Right 0)
2636 | | | | | | | | | | |   mayRaise=[]
2637 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2638 | | | | | | | | | | |   minReads=(Right 0)
2639 | | | | | | | | | | |   mayRaise=[]
2640 | | | | | | | | | | | call <hidden>
2641 | | | | | | | | | | |   minReads=(Right 0)
2642 | | | | | | | | | | |   mayRaise=[]
2643 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2644 | | | | | | | | | | |   minReads=(Right 0)
2645 | | | | | | | | | | |   mayRaise=[]
2646 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2647 | | | | | | | | | | |   minReads=(Right 0)
2648 | | | | | | | | | | |   mayRaise=[]
2649 | | | | | | | | | | | call <hidden>
2650 | | | | | | | | | | |   minReads=(Right 0)
2651 | | | | | | | | | | |   mayRaise=[]
2652 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2653 | | | | | | | | | | |   minReads=(Right 0)
2654 | | | | | | | | | | |   mayRaise=[]
2655 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2656 | | | | | | | | | | |   minReads=(Right 0)
2657 | | | | | | | | | | |   mayRaise=[]
2658 | | | | | | | | | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2659 | | | | | | | | | | |   minReads=(Right 0)
2660 | | | | | | | | | | |   mayRaise=[]
2661 | | | | | | | | | | | popException "fail"
2662 | | | | | | | | | | |   minReads=(Right 0)
2663 | | | | | | | | | | |   mayRaise=[]
2664 | | | | | | | | | | | refJoin <hidden>
2665 | | | | | | | | | | |   minReads=(Right 0)
2666 | | | | | | | | | | |   mayRaise=[]
2667 | | | | | | | | | | <ko>
2668 | | | | | | | | | | | pushInput
2669 | | | | | | | | | | |   minReads=(Right 0)
2670 | | | | | | | | | | |   mayRaise=["fail"]
2671 | | | | | | | | | | | lift2Value Term
2672 | | | | | | | | | | |   minReads=(Right 0)
2673 | | | | | | | | | | |   mayRaise=["fail"]
2674 | | | | | | | | | | | choicesBranch [(\u1 -> u1)]
2675 | | | | | | | | | | |   minReads=(Right 0)
2676 | | | | | | | | | | |   mayRaise=["fail"]
2677 | | | | | | | | | | | | <branch>
2678 | | | | | | | | | | | | | call <hidden>
2679 | | | | | | | | | | | | |   minReads=(Right 0)
2680 | | | | | | | | | | | | |   mayRaise=[]
2681 | | | | | | | | | | | | | refJoin <hidden>
2682 | | | | | | | | | | | | |   minReads=(Right 0)
2683 | | | | | | | | | | | | |   mayRaise=[]
2684 | | | | | | | | | | | | <default>
2685 | | | | | | | | | | | | | raiseException "fail"
2686 | | | | | | | | | | | | |   minReads=(Left "fail")
2687 | | | | | | | | | | | | |   mayRaise=["fail"]
2688 | | | | | | | | <ko>
2689 | | | | | | | | | pushInput
2690 | | | | | | | | |   minReads=(Right 5)
2691 | | | | | | | | |   mayRaise=["fail"]
2692 | | | | | | | | | lift2Value Term
2693 | | | | | | | | |   minReads=(Right 5)
2694 | | | | | | | | |   mayRaise=["fail"]
2695 | | | | | | | | | choicesBranch [(\u1 -> u1)]
2696 | | | | | | | | |   minReads=(Right 5)
2697 | | | | | | | | |   mayRaise=["fail"]
2698 | | | | | | | | | | <branch>
2699 | | | | | | | | | | | call <hidden>
2700 | | | | | | | | | | |   minReads=(Right 5)
2701 | | | | | | | | | | |   mayRaise=["fail"]
2702 | | | | | | | | | | | refJoin <hidden>
2703 | | | | | | | | | | |   minReads=(Right 0)
2704 | | | | | | | | | | |   mayRaise=[]
2705 | | | | | | | | | | <default>
2706 | | | | | | | | | | | raiseException "fail"
2707 | | | | | | | | | | |   minReads=(Left "fail")
2708 | | | | | | | | | | |   mayRaise=["fail"]
2709 | | | | | | <ko>
2710 | | | | | | | pushInput
2711 | | | | | | |   minReads=(Right 0)
2712 | | | | | | |   mayRaise=["fail"]
2713 | | | | | | | lift2Value Term
2714 | | | | | | |   minReads=(Right 0)
2715 | | | | | | |   mayRaise=["fail"]
2716 | | | | | | | choicesBranch [(\u1 -> u1)]
2717 | | | | | | |   minReads=(Right 0)
2718 | | | | | | |   mayRaise=["fail"]
2719 | | | | | | | | <branch>
2720 | | | | | | | | | call <hidden>
2721 | | | | | | | | |   minReads=(Right 0)
2722 | | | | | | | | |   mayRaise=[]
2723 | | | | | | | | | refJoin <hidden>
2724 | | | | | | | | |   minReads=(Right 0)
2725 | | | | | | | | |   mayRaise=[]
2726 | | | | | | | | <default>
2727 | | | | | | | | | raiseException "fail"
2728 | | | | | | | | |   minReads=(Left "fail")
2729 | | | | | | | | |   mayRaise=["fail"]
2730 | | | | <default>
2731 | | | | | raiseException "fail"
2732 | | | | |   minReads=(Left "fail")
2733 | | | | |   mayRaise=["fail"]
2734 let <hidden>
2735   minReads=(Right 2)
2736   mayRaise=[]
2737 | pushValue (\u1 -> (\u2 -> u1))
2738 |   minReads=(Right 2)
2739 |   mayRaise=[]
2740 | pushValue (\u1 -> u1)
2741 |   minReads=(Right 2)
2742 |   mayRaise=[]
2743 | lift2Value (\u1 -> (\u2 -> u1 u2))
2744 |   minReads=(Right 2)
2745 |   mayRaise=[]
2746 | call <hidden>
2747 |   minReads=(Right 2)
2748 |   mayRaise=[]
2749 | lift2Value (\u1 -> (\u2 -> u1 u2))
2750 |   minReads=(Right 0)
2751 |   mayRaise=[]
2752 | join <hidden>
2753 |   minReads=(Right 0)
2754 |   mayRaise=[]
2755 | | lift2Value (\u1 -> (\u2 -> u1 u2))
2756 | |   minReads=(Right 0)
2757 | |   mayRaise=[]
2758 | | ret
2759 | |   minReads=(Right 0)
2760 | |   mayRaise=[]
2761 | catchException "fail"
2762 |   minReads=(Right 0)
2763 |   mayRaise=[]
2764 | | <ok>
2765 | | | pushValue (\u1 -> (\u2 -> u1))
2766 | | |   minReads=(Right 5)
2767 | | |   mayRaise=["fail"]
2768 | | | pushValue Term
2769 | | |   minReads=(Right 5)
2770 | | |   mayRaise=["fail"]
2771 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2772 | | |   minReads=(Right 5)
2773 | | |   mayRaise=["fail"]
2774 | | | call <hidden>
2775 | | |   minReads=(Right 5)
2776 | | |   mayRaise=["fail"]
2777 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2778 | | |   minReads=(Right 0)
2779 | | |   mayRaise=[]
2780 | | | popException "fail"
2781 | | |   minReads=(Right 0)
2782 | | |   mayRaise=[]
2783 | | | refJoin <hidden>
2784 | | |   minReads=(Right 0)
2785 | | |   mayRaise=[]
2786 | | <ko>
2787 | | | pushInput
2788 | | |   minReads=(Right 0)
2789 | | |   mayRaise=["fail"]
2790 | | | lift2Value Term
2791 | | |   minReads=(Right 0)
2792 | | |   mayRaise=["fail"]
2793 | | | choicesBranch [(\u1 -> u1)]
2794 | | |   minReads=(Right 0)
2795 | | |   mayRaise=["fail"]
2796 | | | | <branch>
2797 | | | | | call <hidden>
2798 | | | | |   minReads=(Right 0)
2799 | | | | |   mayRaise=[]
2800 | | | | | refJoin <hidden>
2801 | | | | |   minReads=(Right 0)
2802 | | | | |   mayRaise=[]
2803 | | | | <default>
2804 | | | | | raiseException "fail"
2805 | | | | |   minReads=(Left "fail")
2806 | | | | |   mayRaise=["fail"]
2807 let <hidden>
2808   minReads=(Right 2)
2809   mayRaise=[]
2810 | pushValue (\u1 -> (\u2 -> u1))
2811 |   minReads=(Right 2)
2812 |   mayRaise=[]
2813 | pushValue (\u1 -> u1)
2814 |   minReads=(Right 2)
2815 |   mayRaise=[]
2816 | lift2Value (\u1 -> (\u2 -> u1 u2))
2817 |   minReads=(Right 2)
2818 |   mayRaise=[]
2819 | call <hidden>
2820 |   minReads=(Right 2)
2821 |   mayRaise=[]
2822 | lift2Value (\u1 -> (\u2 -> u1 u2))
2823 |   minReads=(Right 0)
2824 |   mayRaise=[]
2825 | pushValue (\u1 -> (\u2 -> u1))
2826 |   minReads=(Right 0)
2827 |   mayRaise=[]
2828 | pushValue (\u1 -> u1)
2829 |   minReads=(Right 0)
2830 |   mayRaise=[]
2831 | lift2Value (\u1 -> (\u2 -> u1 u2))
2832 |   minReads=(Right 0)
2833 |   mayRaise=[]
2834 | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
2835 |   minReads=(Right 0)
2836 |   mayRaise=[]
2837 | call <hidden>
2838 |   minReads=(Right 0)
2839 |   mayRaise=[]
2840 | lift2Value (\u1 -> (\u2 -> u1 u2))
2841 |   minReads=(Right 0)
2842 |   mayRaise=[]
2843 | call <hidden>
2844 |   minReads=(Right 0)
2845 |   mayRaise=[]
2846 | lift2Value (\u1 -> (\u2 -> u1 u2))
2847 |   minReads=(Right 0)
2848 |   mayRaise=[]
2849 | lift2Value (\u1 -> (\u2 -> u1 u2))
2850 |   minReads=(Right 0)
2851 |   mayRaise=[]
2852 | call <hidden>
2853 |   minReads=(Right 0)
2854 |   mayRaise=[]
2855 | lift2Value (\u1 -> (\u2 -> u1 u2))
2856 |   minReads=(Right 0)
2857 |   mayRaise=[]
2858 | lift2Value (\u1 -> (\u2 -> u1 u2))
2859 |   minReads=(Right 0)
2860 |   mayRaise=[]
2861 | ret
2862 |   minReads=(Right 0)
2863 |   mayRaise=[]
2864 let <hidden>
2865   minReads=(Right 2)
2866   mayRaise=[]
2867 | pushValue (\u1 -> (\u2 -> u1))
2868 |   minReads=(Right 2)
2869 |   mayRaise=[]
2870 | pushValue (\u1 -> u1)
2871 |   minReads=(Right 2)
2872 |   mayRaise=[]
2873 | lift2Value (\u1 -> (\u2 -> u1 u2))
2874 |   minReads=(Right 2)
2875 |   mayRaise=[]
2876 | catchException "fail"
2877 |   minReads=(Right 2)
2878 |   mayRaise=[]
2879 | | <ok>
2880 | | | pushValue (\u1 -> (\u2 -> u1))
2881 | | |   minReads=(Right 2)
2882 | | |   mayRaise=["fail"]
2883 | | | pushValue (\u1 -> u1)
2884 | | |   minReads=(Right 2)
2885 | | |   mayRaise=["fail"]
2886 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2887 | | |   minReads=(Right 2)
2888 | | |   mayRaise=["fail"]
2889 | | | read Term
2890 | | |   minReads=(Right 2)
2891 | | |   mayRaise=["fail"]
2892 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2893 | | |   minReads=(Right 1)
2894 | | |   mayRaise=["fail"]
2895 | | | pushValue (\u1 -> (\u2 -> u1))
2896 | | |   minReads=(Right 1)
2897 | | |   mayRaise=["fail"]
2898 | | | pushValue (\u1 -> u1)
2899 | | |   minReads=(Right 1)
2900 | | |   mayRaise=["fail"]
2901 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2902 | | |   minReads=(Right 1)
2903 | | |   mayRaise=["fail"]
2904 | | | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
2905 | | |   minReads=(Right 1)
2906 | | |   mayRaise=["fail"]
2907 | | | call <hidden>
2908 | | |   minReads=(Right 1)
2909 | | |   mayRaise=["fail"]
2910 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2911 | | |   minReads=(Right 0)
2912 | | |   mayRaise=[]
2913 | | | call <hidden>
2914 | | |   minReads=(Right 0)
2915 | | |   mayRaise=[]
2916 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2917 | | |   minReads=(Right 0)
2918 | | |   mayRaise=[]
2919 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2920 | | |   minReads=(Right 0)
2921 | | |   mayRaise=[]
2922 | | | call <hidden>
2923 | | |   minReads=(Right 0)
2924 | | |   mayRaise=[]
2925 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2926 | | |   minReads=(Right 1)
2927 | | |   mayRaise=["fail"]
2928 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2929 | | |   minReads=(Right 1)
2930 | | |   mayRaise=["fail"]
2931 | | | popException "fail"
2932 | | |   minReads=(Right 1)
2933 | | |   mayRaise=["fail"]
2934 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2935 | | |   minReads=(Right 1)
2936 | | |   mayRaise=["fail"]
2937 | | | call <hidden>
2938 | | |   minReads=(Right 1)
2939 | | |   mayRaise=["fail"]
2940 | | | lift2Value (\u1 -> (\u2 -> u1 u2))
2941 | | |   minReads=(Right 0)
2942 | | |   mayRaise=[]
2943 | | | ret
2944 | | |   minReads=(Right 0)
2945 | | |   mayRaise=[]
2946 | | <ko>
2947 | | | loadInput
2948 | | |   minReads=(Left "fail")
2949 | | |   mayRaise=["fail"]
2950 | | | raiseException "fail"
2951 | | |   minReads=(Left "fail")
2952 | | |   mayRaise=["fail"]
2953 let <hidden>
2954   minReads=(Right 4)
2955   mayRaise=["fail"]
2956 | pushValue (\u1 -> (\u2 -> u1))
2957 |   minReads=(Right 4)
2958 |   mayRaise=["fail"]
2959 | pushValue (\u1 -> (\u2 -> u1))
2960 |   minReads=(Right 4)
2961 |   mayRaise=["fail"]
2962 | pushValue (\u1 -> u1)
2963 |   minReads=(Right 4)
2964 |   mayRaise=["fail"]
2965 | lift2Value (\u1 -> (\u2 -> u1 u2))
2966 |   minReads=(Right 4)
2967 |   mayRaise=["fail"]
2968 | pushValue (\u1 -> (\u2 -> u1))
2969 |   minReads=(Right 4)
2970 |   mayRaise=["fail"]
2971 | pushValue (\u1 -> (\u2 -> u1))
2972 |   minReads=(Right 4)
2973 |   mayRaise=["fail"]
2974 | pushValue '{'
2975 |   minReads=(Right 4)
2976 |   mayRaise=["fail"]
2977 | lift2Value (\u1 -> (\u2 -> u1 u2))
2978 |   minReads=(Right 4)
2979 |   mayRaise=["fail"]
2980 | read ('{' ==)
2981 |   minReads=(Right 4)
2982 |   mayRaise=["fail"]
2983 | lift2Value (\u1 -> (\u2 -> u1 u2))
2984 |   minReads=(Right 3)
2985 |   mayRaise=["fail"]
2986 | lift2Value (\u1 -> (\u2 -> u1 u2))
2987 |   minReads=(Right 3)
2988 |   mayRaise=["fail"]
2989 | call <hidden>
2990 |   minReads=(Right 3)
2991 |   mayRaise=["fail"]
2992 | lift2Value (\u1 -> (\u2 -> u1 u2))
2993 |   minReads=(Right 1)
2994 |   mayRaise=["fail"]
2995 | lift2Value (\u1 -> (\u2 -> u1 u2))
2996 |   minReads=(Right 1)
2997 |   mayRaise=["fail"]
2998 | pushValue (\u1 -> (\u2 -> u1))
2999 |   minReads=(Right 1)
3000 |   mayRaise=["fail"]
3001 | pushValue (\u1 -> u1)
3002 |   minReads=(Right 1)
3003 |   mayRaise=["fail"]
3004 | lift2Value (\u1 -> (\u2 -> u1 u2))
3005 |   minReads=(Right 1)
3006 |   mayRaise=["fail"]
3007 | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
3008 |   minReads=(Right 1)
3009 |   mayRaise=["fail"]
3010 | call <hidden>
3011 |   minReads=(Right 1)
3012 |   mayRaise=["fail"]
3013 | lift2Value (\u1 -> (\u2 -> u1 u2))
3014 |   minReads=(Right 0)
3015 |   mayRaise=[]
3016 | call <hidden>
3017 |   minReads=(Right 0)
3018 |   mayRaise=[]
3019 | lift2Value (\u1 -> (\u2 -> u1 u2))
3020 |   minReads=(Right 0)
3021 |   mayRaise=[]
3022 | lift2Value (\u1 -> (\u2 -> u1 u2))
3023 |   minReads=(Right 0)
3024 |   mayRaise=[]
3025 | call <hidden>
3026 |   minReads=(Right 0)
3027 |   mayRaise=[]
3028 | lift2Value (\u1 -> (\u2 -> u1 u2))
3029 |   minReads=(Right 1)
3030 |   mayRaise=["fail"]
3031 | lift2Value (\u1 -> (\u2 -> u1 u2))
3032 |   minReads=(Right 1)
3033 |   mayRaise=["fail"]
3034 | lift2Value (\u1 -> (\u2 -> u1 u2))
3035 |   minReads=(Right 1)
3036 |   mayRaise=["fail"]
3037 | pushValue (\u1 -> (\u2 -> u1))
3038 |   minReads=(Right 1)
3039 |   mayRaise=["fail"]
3040 | pushValue (\u1 -> (\u2 -> u1))
3041 |   minReads=(Right 1)
3042 |   mayRaise=["fail"]
3043 | pushValue '}'
3044 |   minReads=(Right 1)
3045 |   mayRaise=["fail"]
3046 | lift2Value (\u1 -> (\u2 -> u1 u2))
3047 |   minReads=(Right 1)
3048 |   mayRaise=["fail"]
3049 | read ('}' ==)
3050 |   minReads=(Right 1)
3051 |   mayRaise=["fail"]
3052 | lift2Value (\u1 -> (\u2 -> u1 u2))
3053 |   minReads=(Right 0)
3054 |   mayRaise=[]
3055 | lift2Value (\u1 -> (\u2 -> u1 u2))
3056 |   minReads=(Right 0)
3057 |   mayRaise=[]
3058 | call <hidden>
3059 |   minReads=(Right 0)
3060 |   mayRaise=[]
3061 | lift2Value (\u1 -> (\u2 -> u1 u2))
3062 |   minReads=(Right 0)
3063 |   mayRaise=[]
3064 | lift2Value (\u1 -> (\u2 -> u1 u2))
3065 |   minReads=(Right 0)
3066 |   mayRaise=[]
3067 | ret
3068 |   minReads=(Right 0)
3069 |   mayRaise=[]
3070 let <hidden>
3071   minReads=(Right 5)
3072   mayRaise=["fail"]
3073 | pushValue (\u1 -> (\u2 -> u1))
3074 |   minReads=(Right 5)
3075 |   mayRaise=["fail"]
3076 | pushValue (\u1 -> (\u2 -> u1))
3077 |   minReads=(Right 5)
3078 |   mayRaise=["fail"]
3079 | pushValue (\u1 -> u1)
3080 |   minReads=(Right 5)
3081 |   mayRaise=["fail"]
3082 | lift2Value (\u1 -> (\u2 -> u1 u2))
3083 |   minReads=(Right 5)
3084 |   mayRaise=["fail"]
3085 | pushValue (\u1 -> (\u2 -> u1))
3086 |   minReads=(Right 5)
3087 |   mayRaise=["fail"]
3088 | pushValue (\u1 -> (\u2 -> u1))
3089 |   minReads=(Right 5)
3090 |   mayRaise=["fail"]
3091 | pushValue '['
3092 |   minReads=(Right 5)
3093 |   mayRaise=["fail"]
3094 | lift2Value (\u1 -> (\u2 -> u1 u2))
3095 |   minReads=(Right 5)
3096 |   mayRaise=["fail"]
3097 | read ('[' ==)
3098 |   minReads=(Right 5)
3099 |   mayRaise=["fail"]
3100 | lift2Value (\u1 -> (\u2 -> u1 u2))
3101 |   minReads=(Right 4)
3102 |   mayRaise=["fail"]
3103 | lift2Value (\u1 -> (\u2 -> u1 u2))
3104 |   minReads=(Right 4)
3105 |   mayRaise=["fail"]
3106 | call <hidden>
3107 |   minReads=(Right 4)
3108 |   mayRaise=["fail"]
3109 | lift2Value (\u1 -> (\u2 -> u1 u2))
3110 |   minReads=(Right 2)
3111 |   mayRaise=["fail"]
3112 | lift2Value (\u1 -> (\u2 -> u1 u2))
3113 |   minReads=(Right 2)
3114 |   mayRaise=["fail"]
3115 | pushValue (\u1 -> (\u2 -> u1))
3116 |   minReads=(Right 2)
3117 |   mayRaise=["fail"]
3118 | pushValue (\u1 -> u1)
3119 |   minReads=(Right 2)
3120 |   mayRaise=["fail"]
3121 | lift2Value (\u1 -> (\u2 -> u1 u2))
3122 |   minReads=(Right 2)
3123 |   mayRaise=["fail"]
3124 | call <hidden>
3125 |   minReads=(Right 2)
3126 |   mayRaise=["fail"]
3127 | lift2Value (\u1 -> (\u2 -> u1 u2))
3128 |   minReads=(Right 1)
3129 |   mayRaise=["fail"]
3130 | pushValue (\u1 -> (\u2 -> u1))
3131 |   minReads=(Right 1)
3132 |   mayRaise=["fail"]
3133 | pushValue (\u1 -> u1)
3134 |   minReads=(Right 1)
3135 |   mayRaise=["fail"]
3136 | lift2Value (\u1 -> (\u2 -> u1 u2))
3137 |   minReads=(Right 1)
3138 |   mayRaise=["fail"]
3139 | pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
3140 |   minReads=(Right 1)
3141 |   mayRaise=["fail"]
3142 | pushValue Term
3143 |   minReads=(Right 1)
3144 |   mayRaise=["fail"]
3145 | lift2Value (\u1 -> (\u2 -> u1 u2))
3146 |   minReads=(Right 1)
3147 |   mayRaise=["fail"]
3148 | call <hidden>
3149 |   minReads=(Right 1)
3150 |   mayRaise=["fail"]
3151 | lift2Value (\u1 -> (\u2 -> u1 u2))
3152 |   minReads=(Right 1)
3153 |   mayRaise=["fail"]
3154 | lift2Value (\u1 -> (\u2 -> u1 u2))
3155 |   minReads=(Right 1)
3156 |   mayRaise=["fail"]
3157 | pushValue Term
3158 |   minReads=(Right 1)
3159 |   mayRaise=["fail"]
3160 | lift2Value (\u1 -> (\u2 -> u1 u2))
3161 |   minReads=(Right 1)
3162 |   mayRaise=["fail"]
3163 | lift2Value (\u1 -> (\u2 -> u1 u2))
3164 |   minReads=(Right 1)
3165 |   mayRaise=["fail"]
3166 | lift2Value (\u1 -> (\u2 -> u1 u2))
3167 |   minReads=(Right 1)
3168 |   mayRaise=["fail"]
3169 | lift2Value (\u1 -> (\u2 -> u1 u2))
3170 |   minReads=(Right 1)
3171 |   mayRaise=["fail"]
3172 | pushValue (\u1 -> (\u2 -> u1))
3173 |   minReads=(Right 1)
3174 |   mayRaise=["fail"]
3175 | pushValue (\u1 -> (\u2 -> u1))
3176 |   minReads=(Right 1)
3177 |   mayRaise=["fail"]
3178 | pushValue ']'
3179 |   minReads=(Right 1)
3180 |   mayRaise=["fail"]
3181 | lift2Value (\u1 -> (\u2 -> u1 u2))
3182 |   minReads=(Right 1)
3183 |   mayRaise=["fail"]
3184 | read (']' ==)
3185 |   minReads=(Right 1)
3186 |   mayRaise=["fail"]
3187 | lift2Value (\u1 -> (\u2 -> u1 u2))
3188 |   minReads=(Right 0)
3189 |   mayRaise=[]
3190 | lift2Value (\u1 -> (\u2 -> u1 u2))
3191 |   minReads=(Right 0)
3192 |   mayRaise=[]
3193 | call <hidden>
3194 |   minReads=(Right 0)
3195 |   mayRaise=[]
3196 | lift2Value (\u1 -> (\u2 -> u1 u2))
3197 |   minReads=(Right 0)
3198 |   mayRaise=[]
3199 | lift2Value (\u1 -> (\u2 -> u1 u2))
3200 |   minReads=(Right 0)
3201 |   mayRaise=[]
3202 | ret
3203 |   minReads=(Right 0)
3204 |   mayRaise=[]
3205 pushValue Term
3206   minReads=(Right 1)
3207   mayRaise=["fail"]
3208 pushValue (\u1 -> (\u2 -> u1))
3209   minReads=(Right 1)
3210   mayRaise=["fail"]
3211 pushValue (\u1 -> (\u2 -> u1))
3212   minReads=(Right 1)
3213   mayRaise=["fail"]
3214 pushValue (\u1 -> u1)
3215   minReads=(Right 1)
3216   mayRaise=["fail"]
3217 lift2Value (\u1 -> (\u2 -> u1 u2))
3218   minReads=(Right 1)
3219   mayRaise=["fail"]
3220 call <hidden>
3221   minReads=(Right 1)
3222   mayRaise=["fail"]
3223 lift2Value (\u1 -> (\u2 -> u1 u2))
3224   minReads=(Right 0)
3225   mayRaise=[]
3226 pushValue (\u1 -> (\u2 -> u1))
3227   minReads=(Right 0)
3228   mayRaise=[]
3229 pushValue (\u1 -> u1)
3230   minReads=(Right 0)
3231   mayRaise=[]
3232 lift2Value (\u1 -> (\u2 -> u1 u2))
3233   minReads=(Right 0)
3234   mayRaise=[]
3235 pushValue ((\u1 -> (\u2 -> (\u3 -> (u1 u3) u2))) (\u1 -> (\u2 -> u1 u2)))
3236   minReads=(Right 0)
3237   mayRaise=[]
3238 call <hidden>
3239   minReads=(Right 0)
3240   mayRaise=[]
3241 lift2Value (\u1 -> (\u2 -> u1 u2))
3242   minReads=(Right 0)
3243   mayRaise=[]
3244 call <hidden>
3245   minReads=(Right 0)
3246   mayRaise=[]
3247 lift2Value (\u1 -> (\u2 -> u1 u2))
3248   minReads=(Right 0)
3249   mayRaise=[]
3250 lift2Value (\u1 -> (\u2 -> u1 u2))
3251   minReads=(Right 0)
3252   mayRaise=[]
3253 call <hidden>
3254   minReads=(Right 0)
3255   mayRaise=[]
3256 lift2Value (\u1 -> (\u2 -> u1 u2))
3257   minReads=(Right 0)
3258   mayRaise=[]
3259 lift2Value (\u1 -> (\u2 -> u1 u2))
3260   minReads=(Right 0)
3261   mayRaise=[]
3262 lift2Value (\u1 -> (\u2 -> u1 u2))
3263   minReads=(Right 0)
3264   mayRaise=[]
3265 join <hidden>
3266   minReads=(Right 0)
3267   mayRaise=[]
3268 | lift2Value (\u1 -> (\u2 -> u1 u2))
3269 |   minReads=(Right 0)
3270 |   mayRaise=[]
3271 | lift2Value (\u1 -> (\u2 -> u1 u2))
3272 |   minReads=(Right 0)
3273 |   mayRaise=[]
3274 | ret
3275 |   minReads=(Right 0)
3276 |   mayRaise=[]
3277 catchException "fail"
3278   minReads=(Right 0)
3279   mayRaise=[]
3280 | <ok>
3281 | | catchException "fail"
3282 | |   minReads=(Right 0)
3283 | |   mayRaise=[]
3284 | | | <ok>
3285 | | | | pushInput
3286 | | | |   minReads=(Left "fail")
3287 | | | |   mayRaise=["fail"]
3288 | | | | read (\u1 -> Term)
3289 | | | |   minReads=(Left "fail")
3290 | | | |   mayRaise=["fail"]
3291 | | | | popValue
3292 | | | |   minReads=(Left "fail")
3293 | | | |   mayRaise=["fail"]
3294 | | | | popException "fail"
3295 | | | |   minReads=(Left "fail")
3296 | | | |   mayRaise=["fail"]
3297 | | | | loadInput
3298 | | | |   minReads=(Left "fail")
3299 | | | |   mayRaise=["fail"]
3300 | | | | raiseException "fail"
3301 | | | |   minReads=(Left "fail")
3302 | | | |   mayRaise=["fail"]
3303 | | | <ko>
3304 | | | | loadInput
3305 | | | |   minReads=(Right 0)
3306 | | | |   mayRaise=[]
3307 | | | | pushValue Term
3308 | | | |   minReads=(Right 0)
3309 | | | |   mayRaise=[]
3310 | | | | popException "fail"
3311 | | | |   minReads=(Right 0)
3312 | | | |   mayRaise=[]
3313 | | | | refJoin <hidden>
3314 | | | |   minReads=(Right 0)
3315 | | | |   mayRaise=[]
3316 | <ko>
3317 | | pushInput
3318 | |   minReads=(Left "fail")
3319 | |   mayRaise=["fail"]
3320 | | lift2Value Term
3321 | |   minReads=(Left "fail")
3322 | |   mayRaise=["fail"]
3323 | | choicesBranch [(\u1 -> u1)]
3324 | |   minReads=(Left "fail")
3325 | |   mayRaise=["fail"]
3326 | | | <branch>
3327 | | | | raiseException "fail"
3328 | | | |   minReads=(Left "fail")
3329 | | | |   mayRaise=["fail"]
3330 | | | <default>
3331 | | | | raiseException "fail"
3332 | | | |   minReads=(Left "fail")
3333 | | | |   mayRaise=["fail"]