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