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

[Zoltan Somogyi]

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.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.term1
Type: application/octet-stream
Size: 413 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20221228/6d3505f3/attachment-0004.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.term1
Type: application/octet-stream
Size: 13669 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20221228/6d3505f3/attachment-0005.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Log.term2
Type: application/octet-stream
Size: 332 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20221228/6d3505f3/attachment-0006.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: DIFF.term2
Type: application/octet-stream
Size: 3092 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20221228/6d3505f3/attachment-0007.obj>