   0  int_isconstant $2 -> %i0
   3  -live- %i0, %r0
   6  goto_if_not %i0, L1
  10  ref_isvirtual %r0 -> %i0
  13  -live- %i0
  16  goto_if_not %i0, L2
  20  int_return $True
  22  ---
  22  L2:
  22  int_return $True
  24  ---
  24  L1:
  24  int_return $False
