module checkZeroReferencedModuleDefinitions {

    //referenced
    type integer subtype_1 ( 1 .. 10 );

    //not referenced

    type subtype_1 subtype_2 ( 4 .. 8 );

    //referenced

    type port p_1 message {
        inout subtype_1
    }

    //referenced

    type port p_2 message {
        out subtype_1
    }

    //not referenced => referenced within import

    type component comp_1 {
        var subtype_1 localDef_2;
        port p_1 p1;

    //...
    }

	group g1 {
		group sg1{
		}
		group sg1{}
		const integer x := 1;
		const integer x := 2;
	}
	
	group g2 {
		group sg1{
		
		}
	}
	
}