glossary generation and nested modules

[kohlhase]

in MiKoMH/GenCS/source/adt/en/adt-def.tex we have the nested module

\item
    \begin{module}[id=adt-Bool]
      \symdef{BoolSort}{{{\mathbb{B}}}}
      \symdef{BoolTrueConst}{T}
      \symdef{BoolFalseConst}{F}
      \symdef{BoolADT}{\cB}
    \begin{example}[id=bool-adt,for=abstract-data-type]
      \inlinedef[for={Boolsort,BoolTrueConst,BoolFalseConst}]
      {$\defeq\BoolADT{\adt{\set{\BoolSort}}{\set{\consdecl\BoolTrueConst\BoolSort,
            \consdecl\BoolFalseConst\BoolSort}}}$} is an abstract data for
      \defiis{truth}{value}.
    \end{example}
  \end{module}

which generates

\begin{smentry}{\hypertarget{x43d933a4aadfaf62}{truth value}}{MiKoMH/GenCS}
\usemhmodule[mhrepos=MiKoMH/GenCS,path=adt/en/adt-def]{adt-def}
\inlinedef[for={Boolsort,BoolTrueConst,BoolFalseConst}]
      {$\defeq\BoolADT{\adt{\set{\BoolSort}}{\set{\consdecl\BoolTrueConst\BoolSort,
            \consdecl\BoolFalseConst\BoolSort}}}$} is an abstract data for
      \defiis{truth}{value}.
\end{smentry}

Note that the \usemodule points to adt-def as a used module, but it should be

\usemhmodule[mhrepos=MiKoMH/GenCS,path=adt/en/adt-def]{adt-Bool}

[kohlhase]

This should actually not be loaded in AI, so that I can work around this, but nested modules support should be improved.