0 test_tcas.public_void_<init>()
1 1: 1, 2
1 2: 2, 3
0 tcas.boolean_Own_Above_Threat()
0 tcas.int_Inhibit_Biased_Climb()
0 tcas.public_void_begin(int_arg1,_int_arg2,_int_arg3,_int_arg4,_int_arg5,_int_arg6,_int_arg7,_int_arg8,_int_arg9,_int_arg10,_int_arg11,_int_arg12,_int_arg13)
0 tcas.public_void_<init>()
0 tcas.boolean_Own_Below_Threat()
0 tcas.static_void_<clinit>()
0 tcas.boolean_Non_Crossing_Biased_Climb()
1 16: 13, 18
0 tcas.void_initialize()
0 tcas.int_ALIM()
0 test_tcas.public_static_void_main(String[]_arg0)
0 tcas.int_alt_sep_test()
1 22: 15, 17
1 49: 34, 35
1 50: 35, 41
0 tcas.boolean_Non_Crossing_Biased_Descend()
1 19: 14, 15
1 20: 15, 17
1 29: 23, 28
