module checkInterfaceModuleContainmentGood {
    import from LibCommon_time all;

    // good module, only component definitions

	type component component_1 {
	}

	group g_1{
		type component component_2 {
		}
		type port port_1 message{
			in integer
		}
	}

	//are control parts permissible?
	control {
	
	}
	    
}