Support BasicBlock terminators that contain values, like those from `invoke`