module module_with_moduleParameters {
	modulepar boolean par1 := true;
	modulepar boolean par2 := true;
	modulepar boolean par3 := false;
	
	modulepar boolean par41, par42, par43 := false;
	
	const integer con1 := 1, con2 := 2;
	
	
	
	testcase t_1() runs on bla system blubb{
	
		if(f_1(par2)){
	
		}
	
		if(f_3()){
	
		}
	}
	
	testcase t_2(boolean tpar) runs on bla system blubb{
	
	}
	
	function f_1( boolean fpar){
		var boolean var1 := f_2(fpar);
		return f_5(var1, var1);
	}
	function f_2(boolean fpar){
		return (fpar == false);
	}
	function f_3(){
		var boolean var1 := f_4();
		t_2(var1);
		return var1;
	}
	
	function f_4(){
		return par3;
	}
	function f_5(boolean  fpar, boolean  fpar){
		return (fpar == false);
	}
	
	
		testcase testcaseAll() runs on MTC system SystemInterface {
	 if (par1==true) {} else {}
	 if (par2==true) {} else {}
	 if (par3==true) {} else {}
	 if (par41==true) {} else {}
	 if (par42==true) {} else {}
	 if (par43==true) {} else {}
	 if (con1==1) {} else {}
	 if (con2==1) {} else {}
	 }
	
	testcase testcase1() runs on MTC system SystemInterface {
	 if (par1==true) {} else {}}	

	testcase testcase1_2() runs on MTC system SystemInterface {
	 if (par1==true) {} else {}
	 if (par2==true) {} else {}}
	 
	 	
	testcase testcase2() runs on MTC system SystemInterface {
	 if (par2==true) {} else {}}
	 
	testcase testcase3() runs on MTC system SystemInterface {
	 if (par3==true) {} else {}}
	 
	testcase testcase4() runs on MTC system SystemInterface {}


 	function function1 ()
 	return boolean {
 		return par1;
 	}
 	
 	 	function function2 ()
 	return boolean {
 		return par2;
 	}

 	 	function function3 ()
 	return boolean {
 		return par3;
 	}
 	
 	altstep altstep1(){
 	
 	}
 	
 	
 	testcase testcaseloop1_1() runs on MTC system SystemInterface {function1();}
 	testcase testcaseloop1_2() runs on MTC system SystemInterface {testcaseloop1_3();testcaseloop1_1()}
 	testcase testcaseloop1_3() runs on MTC system SystemInterface {testcaseloop1_2();}
 	
testcase testcasef1() runs on MTC system SystemInterface {function1();}
testcase testcasef2() runs on MTC system SystemInterface {function2();}
testcase testcasef3() runs on MTC system SystemInterface {function3();}

testcase testcase_test() runs on MTC system SystemInterface{function_indirect1(par2)};
function function_indirect2(boolean par){};


testcase testcasetcf1() runs on MTC system SystemInterface {testcasef1();}

}