module checkZeroReferencedModuleDefinitionsWithImports {
    import from checkZeroReferencedModuleDefinitions {type comp_1, subtype_2};

    //not referenced

    type component comp_2 extends comp_1 {
        var subtype_1 localDef_2;
        port p_2 p2;

    //...
    }
    
    group g2 {
		group sg1{
		
		}
	}

}