module exactImports {
	type component comp_B {
	
	}

	type component comp_C {
	
	}
	
	function f_B () runs on comp_B {
	
	}
	function f_C () runs on comp_B {
	
	}
	function f_D() {
	
	}
	
	const integer c_Bc := 42;
	
	altstep a_B(){
	}
	altstep a_C(){
	}

	altstep a_D(){
	}
	
	
	group ports{
		group a{
			group b{
				type port p_Ax message{
					inout all
				}
					
			}
		}
		type port p_A message{
			inout all
		}
	
		type port p_B message{
			inout all
		}
	}
	
	testcase tc_B () runs on comp_B {
	
	}
	testcase tc_C () runs on comp_B {
	
	}
	

}