module checkTestcasesModuleContainmentBad {
    import from LibCommon_sync all;

    // bad module
	function f_1() runs on component_1{
	}

	testcase tc_1() runs on component_1{
			var component_1 ptc0 := component_1.create;
			ptc0.start(f_1());
			ptc0.start(f_0()); // defined elsewhere
			f_3(); //does not count - not in a start statement
	}    
	//not used in a start statement
	function f_3() runs on component_1{
	}

    //not a testcase or a function\
    const integer c_1 := 0;
    
    
    group GroupedDefs{
	//not used in a start statement
		function f_4() runs on component_1 return float{
		}

		function f_2() runs on component_1{
			var component_1 ptc1 := component_1.create;
			ptc1.start(f_1());
			ptc1.start(f_0(f_4())); // does not count - used as a nested parameter
			f_4(); //does not count - not in a start statement
			timer t;
			t.start(f_4()); //does not count - used in a timer start operation
			
		}
		
		testcase tc_2() runs on component_1{
			var component_1 ptc2 := component_1.create;
			ptc2.start(f_1());
			ptc2.start(f_0()); // defined elsewhere
		
		}

    }
}