It is obvious that the idea behind the stack diagram of `throw` is to specify what happens on the data stack in both cases, including the case where the control flow does not continue sequentially. And I think it's a good idea to specify the stack effect for that case, and it should also be done for `?do`.
