Fix: fix wrong code-path about try-for-in (fixes #8848)

[mysticatea]

What is the purpose of this pull request? (put an "X" next to item)

[X] Bug fix (template)

Fixes #8848.

What changes did you make? (Give an overview)

This PR fixes code path analysis to generate correct code paths.

Before, it was wrong if ForInStatement#right is the first throwable location (e.g. a variable reference, a call expression, ...) in the outer try block. (It makes 2 paths from try block to catch block at the first throwable location and the end of try block. The former seemed to conflict with the looping path of for-in.)

In the following code:

try {
    for (let x of xs) {
    }
} catch (err) {
}

Before: broken code path.

After: correct code path.

Is there anything you'd like reviewers to focus on?

Nothing in particular.

[eslintbot]

LGTM

[mention-bot]

@mysticatea, thanks for your PR! By analyzing the history of the files in this pull request, we identified @gyandeeps, @not-an-aardvark and @kaicataldo to be potential reviewers.