   0  residual_call_r_i $<* fn RecordType.eq>, R[%r0, %r1, %r2], <CallDescr(rrr) EF=5> -> %i0
   9  -live- %i0
   9  -live- %i0
   9  goto_if_not %i0, L1
  13  int_return $False
  15  ---
  15  L1:
  15  int_return $True
