rel alt_sep_test(Own_Tracked_Alt_0,Other_Tracked_Alt_0,Positive_RA_Alt_Thresh_0_0,Positive_RA_Alt_Thresh_1_0,Positive_RA_Alt_Thresh_2_0,Positive_RA_Alt_Thresh_3_0,Alt_Layer_Value_0,Climb_Inhibit_0,Up_Separation_0,Down_Separation_0,Cur_Vertical_Sep_0,Own_Tracked_Alt_Rate_0,High_Confidence_0,Other_Capability_0,Other_RAC_0,Two_of_Three_Reports_Valid_0,return_1) %-- iff %-- Own_Tracked_Alt_0 = 16533, Other_Tracked_Alt_0 = 24650, %-- Positive_RA_Alt_Thresh_0_0 = 16434, Positive_RA_Alt_Thresh_1_0 = 0, %-- Positive_RA_Alt_Thresh_2_0 = 0, Positive_RA_Alt_Thresh_3_0 = 0, %-- Alt_Layer_Value_0 = 0, Climb_Inhibit_0 = 0, %-- Up_Separation_0 = 16383, Down_Separation_0 = -8193, %-- Cur_Vertical_Sep_0 = 16684, Own_Tracked_Alt_Rate_0 = 450, %-- High_Confidence_0 = 32767, Other_Capability_0 = 0, %-- Other_RAC_0 = 0, Two_of_Three_Reports_Valid_0 = 0, %-- return_1 = 1, { %-- Alt_Layer_Value_0 = 0, %-- Positive_RA_Alt_Thresh_0_0 > 100, %-- Own_Tracked_Alt_0 >= 0, %-- Other_Tracked_Alt_0 >= 0, %-- Up_Separation_0 >= 0, %-- Own_Tracked_Alt_0 < Other_Tracked_Alt_0, %-- %-- need_upward_RA_1 = 0, %-- need_downward_RA_1 = 0, %-- tmp1_1 = $(Own_Tracked_Alt_Rate_0>=300), %-- tmp2_1 = $(Other_Tracked_Alt_0>=300), %-- tmp3_1 = $(Own_Tracked_Alt_0>=300), %-- tmp4_1 = tmp3_1 and tmp2_1, %-- tmp5_1 = tmp4_1 and tmp1_1, %-- tmp5_1 = 1, %-- tmp7_1 = $(Cur_Vertical_Sep_0>600), %-- tmp8_1 = $(Own_Tracked_Alt_Rate_0=<600), %-- tmp9_1 = High_Confidence_0 and tmp8_1, %-- tmp10_1 = tmp9_1 and tmp7_1, %-- enabled_1 = tmp10_1, %-- tmp11_1 = $(Other_Capability_0=1), %-- tcas_equipped_1 = tmp11_1, %-- tmp12_1 = $(Other_RAC_0=0), %-- tmp13_1 = Two_of_Three_Reports_Valid_0 and tmp12_1, %-- intent_not_known_1 = tmp13_1, %-- alt_sep_1 = 0, %-- tmp14_1 = not tcas_equipped_1, %-- tmp15_1 = tcas_equipped_1 and intent_not_known_1, %-- tmp16_1 = tmp15_1 or tmp14_1, %-- tmp17_1 = enabled_1 and tmp16_1, %-- ite(tmp17_1, %-- Alt_Layer_Value_0 = 0, Climb_Inhibit_0 = 0, %-- Cur_Vertical_Sep_0 = 16684, Down_Separation_0 = -8193, %-- Other_Tracked_Alt_0 = 24650, Own_Tracked_Alt_0 = 16533, %-- Positive_RA_Alt_Thresh_0_0 = 16434, Positive_RA_Alt_Thresh_1_0 = 0, %-- Positive_RA_Alt_Thresh_2_0 = 0, Positive_RA_Alt_Thresh_3_0 = 0, %-- Up_Separation_0 = 16383, alt_sep_1 = 0, %-- alt_sep_2 in -32768..32767, alt_sep_3 = 1, %-- alt_sep_4 in -32768..32767, alt_sep_5 in -32768..32767, %-- alt_sep_6 in -32768..32767, alt_sep_7 = 1, %-- alt_sep_8 = 1, alt_sep_9 = 1, %-- need_downward_RA_1 = 0, need_downward_RA_2 = 0, %-- need_downward_RA_3 = 0, need_upward_RA_2 = 1, %-- tmp17_1 = 1, tmp18_1 = 1, %-- tmp19_1 = 1, tmp20_1 = 1, %-- tmp21_1 = 0, tmp22_1 = 0, %-- tmp22_2 = 0, tmp23_1 = 0, %-- tmp23_2 = 0, tmp24_1 = 0, %-- tmp24_2 = 0, { %-- Own_Below_Threat__call_18(Other_Tracked_Alt_0,Own_Tracked_Alt_0,tmp18_1), %-- Non_Crossing_Biased_Climb__call_19(Own_Tracked_Alt_0,Other_Tracked_Alt_0,Positive_RA_Alt_Thresh_0_0,Positive_RA_Alt_Thresh_1_0,Positive_RA_Alt_Thresh_2_0,Positive_RA_Alt_Thresh_3_0,Alt_Layer_Value_0,Climb_Inhibit_0,Up_Separation_0,Down_Separation_0,Cur_Vertical_Sep_0,tmp19_1), %-- tmp20_1 = tmp19_1 and tmp18_1, %-- need_upward_RA_2 = tmp20_1, %-- Own_Above_Threat__call_21(Own_Tracked_Alt_0,Other_Tracked_Alt_0,tmp21_1), %-- Non_Crossing_Biased_Descend__call_22(Own_Tracked_Alt_0,Other_Tracked_Alt_0,Positive_RA_Alt_Thresh_0_0,Positive_RA_Alt_Thresh_1_0,Positive_RA_Alt_Thresh_2_0,Positive_RA_Alt_Thresh_3_0,Alt_Layer_Value_0,Climb_Inhibit_0,Up_Separation_0,Down_Separation_0,Cur_Vertical_Sep_0,tmp22_1), %-- tmp23_1 = tmp22_1 and tmp21_1, %-- need_downward_RA_2 = tmp23_1, %-- tmp24_1 = need_upward_RA_2 and need_downward_RA_2, %-- ite(tmp24_1, %-- alt_sep_2 in -32768..32767, alt_sep_3 = 1, %-- alt_sep_4 in -32768..32767, alt_sep_5 in -32768..32767, %-- alt_sep_6 in -32768..32767, alt_sep_7 = 1, %-- alt_sep_8 = 1, need_downward_RA_2 = 0, %-- need_upward_RA_2 = 1, tmp24_1 = 0, { %-- alt_sep_2 = 0, %-- alt_sep_8 = alt_sep_2 %-- }, %-- { %-- ite(need_upward_RA_2, %-- alt_sep_3 = 1, alt_sep_4 in -32768..32767, %-- alt_sep_5 in -32768..32767, alt_sep_6 in -32768..32767, %-- alt_sep_7 = 1, need_downward_RA_2 = 0, %-- need_upward_RA_2 = 1, { %-- reach, %-- alt_sep_3 = 1, %-- alt_sep_7 = alt_sep_3 %-- }, %-- { %-- ite(need_downward_RA_2, %-- alt_sep_4 in -32768..32767, alt_sep_5 in -32768..32767, %-- alt_sep_6 in -32768..32767, need_downward_RA_2 = 0, { %-- alt_sep_4 = 2, %-- alt_sep_6 = alt_sep_4 %-- }, %-- { %-- alt_sep_5 = 0, %-- alt_sep_6 = alt_sep_5 %-- }) %-- %-- , %-- alt_sep_7 = alt_sep_6 %-- }) %-- %-- , %-- alt_sep_8 = alt_sep_7 %-- }) %-- %-- , %-- alt_sep_9 = alt_sep_8, %-- need_downward_RA_3 = need_downward_RA_2, %-- tmp22_2 = tmp22_1, %-- tmp23_2 = tmp23_1, %-- tmp24_2 = tmp24_1 %-- }, %-- { %-- alt_sep_9 = alt_sep_1, %-- need_downward_RA_3 = need_downward_RA_1, %-- tmp22_2 = tmp22_0, %-- tmp23_2 = tmp23_0, %-- tmp24_2 = tmp24_0 %-- }) %-- %-- , %-- return_1 = alt_sep_9 %--