Caller: tcas.<init>()V
Caller: tcas.initialize()V
Caller: tcas.ALIM()I
Caller: tcas.Inhibit_Biased_Climb()I
Caller: tcas.Non_Crossing_Biased_Climb()Z
Call: tcas.Inhibit_Biased_Climb()I
Call: tcas.Own_Below_Threat()Z
Call: tcas.Own_Below_Threat()Z
Call: tcas.ALIM()I
Call: tcas.Own_Above_Threat()Z
Call: tcas.ALIM()I
Caller: tcas.Non_Crossing_Biased_Descend()Z
Call: tcas.Inhibit_Biased_Climb()I
Call: tcas.Own_Below_Threat()Z
Call: tcas.ALIM()I
Call: tcas.Own_Above_Threat()Z
Call: tcas.Own_Above_Threat()Z
Call: tcas.ALIM()I
Caller: tcas.Own_Below_Threat()Z
Caller: tcas.Own_Above_Threat()Z
Caller: tcas.alt_sep_test()I
Call: tcas.Non_Crossing_Biased_Climb()Z
Call: tcas.Own_Below_Threat()Z
Call: tcas.Non_Crossing_Biased_Descend()Z
Call: tcas.Own_Above_Threat()Z
Caller: tcas.begin(IIIIIIIIIIIII)V
Call: tcas.initialize()V
Call: tcas.alt_sep_test()I
Caller: tcas.<clinit>()V
Caller: test_tcas.<init>()V
Caller: test_tcas.main([Ljava/lang/String;)V
Call: tcas.<init>()V
Call: tcas.begin(IIIIIIIIIIIII)V
Call: tcas.<init>()V
Call: tcas.begin(IIIIIIIIIIIII)V
