   0  inline_call_r_i <JitCode 'Bool.unbox'>, R[%r0, %r1] -> %i0
   7  -live- %i0, %r0, %r2
   7  inline_call_r_i <JitCode 'Bool.unbox'>, R[%r0, %r2] -> %i1
  14  -live- %i0, %i1
  14  int_is_true %i0 -> %i0
  17  -live- %i0, %i1
  17  goto_if_not_int_is_true %i1, L1
  21  -live- %i0
  21  goto_if_not %i0, L2
  25  int_return $False
  27  ---
  27  L2:
  27  int_return $True
  29  ---
  29  L1:
  29  -live- %i0
  29  goto_if_not %i0, L3
  33  int_return $True
  35  ---
  35  L3:
  35  int_return $False
