module checkModuleParamsModuleContainmentBad { import from LibCommon_time all; // good part, only module parameters modulepar integer mp_1; modulepar { integer mp_2; charstring mp_3; } //bad part const integer c_1 := 1; group GroupedDefs{ modulepar integer mp_4; const integer c_2 := 2; } }