module checkNoUnusedImportsBad {
	import from importAll all except {type comp_A, comp_Aa; altstep a_Aa};

	import from exactImports {function f_B, f_C; type comp_B};
	import from exactImports {function f_D; type comp_C};
	import from exactImports {const c_Bx};
	//import from importAll {const c_B};
	//import from exactImports {group ports except {type p_A}};
	//import from exactImports {group all except ports};
	import from exactImports {group ports.a.b};
	//import from exactImports {group b};
	//import from exactImports {group all};
	//import from exactImports {type p_A};
	import from exactImports {altstep all except a_A, a_C};
	import from exactImports {testcase all; function all};
	
	
	type component comp_D {
		port p_Ax port_A;
		//var integer x := exactImports.c_B;
	}
	
	

	function f_E() runs on comp_B{
		f_A();
		a_D();
	}
	
	function f_F() {
	
	}

}
