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 13: 10, 11
1 14: 11, 12
1 15: 12, 13
1 16: 13, 18
1 17: 13, 14
1 18: 14, 15
1 19: 15, 16
1 20: 16, 18
1 21: 16, 17
1 23: 18, 19
1 29: 23, 28
1 41: 11, 35
1 42: 14, 36
0 tcas.void_initialize()
0 tcas.int_ALIM()
0 test_tcas.public_static_void_main(String[]_arg0)
0 tcas.int_alt_sep_test()
1 24: 16, 18
1 35: 23, 24
1 36: 24, 26
1 45: 31, 32
1 46: 32, 34
1 49: 34, 35
1 50: 35, 37
1 51: 35, 36
1 52: 36, 42
1 54: 37, 38
1 55: 38, 42
1 57: 39, 40
1 58: 40, 42
0 tcas.boolean_Non_Crossing_Biased_Descend()
1 12: 9, 14
1 24: 18, 19
1 25: 19, 20
1 26: 20, 21
1 27: 21, 26
1 28: 21, 22
1 29: 22, 23
1 30: 23, 24
1 31: 24, 26
1 32: 24, 25
1 34: 26, 27
1 40: 19, 34
1 41: 22, 35
