_transition_from_resumed should not be reachable from a code path where ts._previous == "executing". Yet, it states this in the docstring and performs checks for this behavior. We should revisit the code and explanation and clean it up to improve readability.