module checkInterfaceModuleContainmentBad { import from LibCommon_time all; // bad module type component component_1 { } type port port_1 message{ in integer } const integer c_1 := 0; group g_1{ type component component_2 { } type port port_2 message{ out integer } const integer c_2 := 1; } //are control parts permissible? control { } }