module checkModuleParamsModuleContainmentGood { import from LibCommon_time all; // good module, only module parameters modulepar integer mp_1; modulepar { integer mp_2; charstring mp_3; } group GroupedDefs{ modulepar integer mp_4; } }