module checkNoUnusedLocalDefinitions {
	
	type component someComponent{
		timer componentTimer1, componentTimer2;
		port portType p1,p2;
	}
	
	function f_0(){
		timer localTimer;
		var integer v1;
		const integer c1:=1;
		var template t1 template1;
		var someComponent comp1;
		template (present) t1 template2 :={f1:=1};
	}
	
	altstep as_0(){
		timer localTimer;
		var integer v1, v2;
		const integer c1:=1;
		var template t1 template1;
		var someComponent comp1;
		[] p.receive(template1) -> value v1 
		{
			v2 := v1.x;
		}

	}
	
	testcase tc_0() runs on someComponent{
		timer localTimer;
		var integer v1;
		const integer c1:=1;
		var template t1 template1;
		var someComponent comp1;
		componentTimer1.start; //good
	}
	control {
		timer localTimer;
		var integer v1,v2;
		const integer c1:=1;
		var template t1 template1;
		var someComponent comp1;
	
	}
	
	
	
}