I Downgraded a Safety Bug to an Availability Bug Using Assertions [video]