[m-rev.] for post-commit review: fix a compiler abort in termination analysis

[Julien Fischer]

On Wed, 28 Dec 2022, Zoltan Somogyi wrote:

> The first diff is a pre-fix cleanup; the second is the bug fix.
>
> Julien, the fix should go on the release branch as well.
> Due to this, this is for review by Julien.

That looks fine.

Julien.