module checkTestcasesModuleContainmentGood {
    import from LibCommon_sync all;

    // good module, only testcases and functions in start statements
	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
	
	}    
    
    group GroupedDefs{
		function f_2() runs on component_1{
			var component_1 ptc1 := component_1.create;
			ptc1.start(f_1());
			ptc1.start(f_0()); // defined elsewhere
		}
		
		testcase tc_2() runs on component_1{
			var component_1 ptc2 := component_1.create;
			ptc2.start(f_2());
			ptc2.start(f_0()); // defined elsewhere
		
		}

    }
}