def METHOD_NAME(self):
    # without extended lifetimes, dels occur as soon as dead
    #
    # label 0
    #   a = arg(0, name=a)  :: int64
    #   b = a  :: int64
    #   del a
    #   $8return_value.2 = cast(value=b)  :: int64
    #   del b
    #   return $8return_value.2
    sa, sb, cast_ret, dela, delb = self._lifetimes_impl(extend=0)
    self.assertLess(sa, dela)
    self.assertLess(sb, delb)
    # del a is before cast and del b is after
    self.assertLess(dela, cast_ret)
    self.assertGreater(delb, cast_ret)