module checkTestSystemModuleContainmentBad { import from LibCommon_time all; // bad module, port definitions as well type component component_1 { } type port port_1 message{ in integer } group g_1{ type component component_2 { } type port port_2 message{ out integer } } //are control parts permissible? control { } }