module checkTemplatesModuleContainmentBad {
    import from LibCommon_time all;

    // good part, only templates
    template MyRecordType t_1 := {
        field1 := 1,
        field2 := "a",
        field3 :=true
    }

    template integer t_2 := (0,1,2,3,4,5,6,7);
    
    
    group GroupedDefs{
	    template integer t_3 :=(0 .. 10);
		//bad part
		const integer c_1 := 2;
	
    }

	//bad part
	function f_2(){
	}

}