[m-rev.] for review: more invariants for includes/imports/uses in .int[03]

[Julien Fischer]

On Thu, 1 Sep 2022, Zoltan Somogyi wrote:

> For review by anyone.
>
> A similar change to .int/.int2 files is next, but it should also include
> a fix for Mantis bug 563.

You forgot to attach the diff.

Julien.