Perhaps we should define an assertNotReached function.