[m-dev.] proposal: rename the modules of the first termination analyzer

[Zoltan Somogyi]

On Sat, 29 Aug 2026 14:01:06 +0200 (CEST), "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:

> > (Incidentally, both analysers could probably be restructured to use submodules.)
> 
> Agreed.

Actually, this raises a new question. All the termination-related modules are
currently part of the transform_hlds package. Should the packages be
transform_hlds.term_{osi,constr}, or just term_{osi,constr}? I vote
for the latter.

Zoltan.