module checkInterfaceModuleContainmentGood {
    import from LibCommon_time all;

    // good module, only component, port, and type definitions

	type component component_1 {
	}

	type record x {integer x} 

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

	//are control parts permissible?
	control {
	
	}
	    
}