Level 1: .cg.step .cs.cont_3EO_start 
Level 2: .cs.step .cs.m_mode .meco_confirmed .cs.region_selected .cg.first3 .et_sep_cmd .h_dot_LT_0 .q_bar_a_GRT_qbar_max_sep .cg.r .cont_minus_z_compl .excess_OMS_propellant .cg.first8 .entry_mnvr_couter_LE_0 .rcs_all_jet_inhibit .cg.pch_cmd_reg4 .cond_18 .ABS_alf_err_LT_alf_sep_err .cond_20b .cg.alpha_ok .cond_21 .ABS_beta_n_GRT_beta_max .cg.high_rate_sep .cond_24 .cg.et_sep_man_initiate .start_guide 
Level 3: .pre_sep .q_orb_LT_0 .cond_26 .cond_29 .cs.r .smode5 .vel .apogee_alt_LT_alt_ref .q_bar 
Level 4: .v_horiz_dnrng_LT_0 .delta_r_GRT_del_r_usp .h_dot_LT_hdot_reg2 .alpha_n_GRT_alpha_reg2 
8242298: IMPLIES	8242288, 8242278
8242288: CONS	8242238, 8242248
8242238: CONS	823ac98, 0
823ac98: DOT	8239480, 823ac88
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
823ac88: ATOM	contingency_nz_lim, 0
8242248: CONS	0, 0
8242278: CONS	8242258, 8242268
8242258: CONS	0, 0
8242268: CONS	82227e0, 0
0 is not implemented

8242218: IMPLIES	8242208, 82421f8
8242208: CONS	82421b8, 82421c8
82421b8: CONS	823ac48, 0
823ac48: DOT	8239480, 823ac38
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
823ac38: ATOM	oms_nz_lim, 0
82421c8: CONS	0, 0
82421f8: CONS	82421d8, 82421e8
82421d8: CONS	0, 0
82421e8: CONS	82227e0, 0
0 is not implemented

8242198: IMPLIES	8242188, 8242178
8242188: CONS	8242138, 8242148
8242138: CONS	823abf8, 0
823abf8: DOT	8239480, 823abe8
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
823abe8: ATOM	q_gcb_i, 0
8242148: CONS	0, 0
8242178: CONS	8242158, 8242168
8242158: CONS	0, 0
8242168: CONS	82227e0, 0
0 is not implemented

8242118: IMPLIES	8242108, 82420f8
8242108: CONS	82420b8, 82420c8
82420b8: CONS	823aba8, 0
823aba8: DOT	8239480, 823ab98
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
823ab98: ATOM	wcb2, 0
82420c8: CONS	0, 0
82420f8: CONS	82420d8, 82420e8
82420d8: CONS	0, 0
82420e8: CONS	82227e0, 0
0 is not implemented

8242098: IMPLIES	8242088, 8242078
8242088: CONS	8242038, 8242048
8242038: CONS	823ab58, 0
823ab58: DOT	8239480, 823ab48
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
823ab48: ATOM	rtls_lo_f_d_delay, 0
8242048: CONS	0, 0
8242078: CONS	8242058, 8242068
8242058: CONS	0, 0
8242068: CONS	82227e0, 0
0 is not implemented

8242018: IMPLIES	8242008, 8241ff8
8242008: CONS	8241fb8, 8241fc8
8241fb8: CONS	823ab08, 0
823ab08: DOT	8239480, 823aaf8
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
823aaf8: ATOM	early_sep, 0
8241fc8: CONS	0, 0
8241ff8: CONS	8241fd8, 8241fe8
8241fd8: CONS	0, 0
8241fe8: CONS	82227e0, 0
0 is not implemented

8241f98: IMPLIES	8241f88, 8241f78
8241f88: CONS	8241f38, 8241f48
8241f38: CONS	823a9d8, 0
823a9d8: DOT	8239480, 823a9c8
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
823a9c8: ATOM	cont_sep_cplt, 0
8241f48: CONS	0, 0
8241f78: CONS	8241f58, 8241f68
8241f58: CONS	0, 0
8241f68: CONS	82227e0, 0
0 is not implemented

8241f18: IMPLIES	8241f08, 8241ef8
8241f08: CONS	8241eb8, 8241ec8
8241eb8: CONS	823a988, 0
823a988: DOT	8239480, 823a978
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
823a978: ATOM	entry_gains, 0
8241ec8: CONS	0, 0
8241ef8: CONS	8241ed8, 8241ee8
8241ed8: CONS	0, 0
8241ee8: CONS	82227e0, 0
0 is not implemented

8241e98: IMPLIES	8241e88, 8241e78
8241e88: CONS	8241e38, 8241e48
8241e38: CONS	823a8f8, 0
823a8f8: DOT	8239480, 823a8e8
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
823a8e8: ATOM	frz_3eo, 0
8241e48: CONS	0, 0
8241e78: CONS	8241e58, 8241e68
8241e58: CONS	0, 0
8241e68: CONS	82227e0, 0
0 is not implemented

8241e18: IMPLIES	8241e08, 8241df8
8241e08: CONS	8241db8, 8241dc8
8241db8: CONS	823a8a8, 0
823a8a8: DOT	8239480, 823a898
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
823a898: ATOM	orbiter_dump_ena, 0
8241dc8: CONS	0, 0
8241df8: CONS	8241dd8, 8241de8
8241dd8: CONS	0, 0
8241de8: CONS	82227e0, 0
0 is not implemented

8241d98: IMPLIES	8241d88, 8241d78
8241d88: CONS	8241d38, 8241d48
8241d38: CONS	823a858, 0
823a858: DOT	8239480, 823a848
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
823a848: ATOM	oms_rcs_i_c_inh_ena_cmd, 0
8241d48: CONS	0, 0
8241d78: CONS	8241d58, 8241d68
8241d58: CONS	0, 0
8241d68: CONS	82227e0, 0
0 is not implemented

8241d18: IMPLIES	8241d08, 8241cf8
8241d08: CONS	8241cb8, 8241cc8
8241cb8: CONS	823a808, 0
823a808: DOT	8239480, 8239f70
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
8239f70: ATOM	fcs_accept_icnct, 0
8241cc8: CONS	0, 0
8241cf8: CONS	8241cd8, 8241ce8
8241cd8: CONS	0, 0
8241ce8: CONS	82227e0, 0
0 is not implemented

8241c98: IMPLIES	8241c88, 8241c78
8241c88: CONS	8241c38, 8241c48
8241c38: CONS	8239f30, 0
8239f30: DOT	8239480, 8239f20
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
8239f20: ATOM	fwd_rcs_dump_enable, 0
8241c48: CONS	0, 0
8241c78: CONS	8241c58, 8241c68
8241c58: CONS	0, 0
8241c68: CONS	82227e0, 0
0 is not implemented

8241c18: IMPLIES	8241c08, 8241bf8
8241c08: CONS	8241bb8, 8241bc8
8241bb8: CONS	8239ee0, 0
8239ee0: DOT	8239480, 8239ed0
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
8239ed0: ATOM	etsep_y_drift, 0
8241bc8: CONS	0, 0
8241bf8: CONS	8241bd8, 8241be8
8241bd8: CONS	0, 0
8241be8: CONS	82227e0, 0
0 is not implemented

8241b98: IMPLIES	8241b88, 8241b78
8241b88: CONS	8241b38, 8241b48
8241b38: CONS	8239e90, 0
8239e90: DOT	8239480, 8239e80
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
8239e80: ATOM	cont_3eo_pr_delay, 0
8241b48: CONS	0, 0
8241b78: CONS	8241b58, 8241b68
8241b58: CONS	0, 0
8241b68: CONS	82227e0, 0
0 is not implemented

8241b18: IMPLIES	8241b08, 8241af8
8241b08: CONS	8241ab8, 8241ac8
8241ab8: CONS	8239e40, 0
8239e40: DOT	8239480, 8239e30
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
8239e30: ATOM	emerg_sep, 0
8241ac8: CONS	0, 0
8241af8: CONS	8241ad8, 8241ae8
8241ad8: CONS	0, 0
8241ae8: CONS	82227e0, 0
0 is not implemented

8241a98: IMPLIES	8241a88, 8241a78
8241a88: CONS	8241a38, 8241a48
8241a38: CONS	8239da0, 0
8239da0: DOT	8239480, 8239d90
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
8239d90: ATOM	mode_2_indicator, 0
8241a48: CONS	0, 0
8241a78: CONS	8241a58, 8241a68
8241a58: CONS	0, 0
8241a68: CONS	82227e0, 0
0 is not implemented

8241a18: IMPLIES	8241a08, 82419f8
8241a08: CONS	82419b8, 82419c8
82419b8: CONS	8239d50, 0
8239d50: DOT	8239480, 8239d40
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
8239d40: ATOM	s_unconv, 0
82419c8: CONS	0, 0
82419f8: CONS	82419d8, 82419e8
82419d8: CONS	0, 0
82419e8: CONS	82227e0, 0
0 is not implemented

8241998: IMPLIES	8241988, 8241978
8241988: CONS	8241938, 8241948
8241938: CONS	8239d00, 0
8239d00: DOT	8239480, 8239cf0
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
8239cf0: ATOM	first27, 0
8241948: CONS	0, 0
8241978: CONS	8241958, 8241968
8241958: CONS	0, 0
8241968: CONS	82227e0, 0
0 is not implemented

8241918: IMPLIES	8241908, 82418f8
8241908: CONS	82418b8, 82418c8
82418b8: CONS	8239c10, 0
8239c10: DOT	8239480, 8239c00
8239480: DOT	0, 82391c0
82391c0: ATOM	cg, 0
8239c00: ATOM	call_RTLS_abort_task, 0
82418c8: CONS	0, 0
82418f8: CONS	82418d8, 82418e8
82418d8: CONS	0, 0
82418e8: CONS	82227e0, 0
0 is not implemented

8241898: IMPLIES	8241888, 8241878
8241888: CONS	8241838, 8241848
8241838: CONS	82393b0, 0
82393b0: DOT	8239050, 82393a0
8239050: DOT	0, 8239040
8239040: ATOM	cs, 0
82393a0: ATOM	r, 0
8241848: CONS	0, 0
8241878: CONS	8241858, 8241868
8241858: CONS	0, 0
8241868: CONS	82227e0, 0
0 is not implemented

8241818: IMPLIES	8241808, 82417f8
8241808: CONS	82417b8, 82417c8
82417b8: CONS	82392d0, 0
82392d0: DOT	8239050, 82392c0
8239050: DOT	0, 8239040
8239040: ATOM	cs, 0
82392c0: ATOM	RTLS_abort_declared, 0
82417c8: CONS	0, 0
82417f8: CONS	82417d8, 82417e8
82417d8: CONS	0, 0
82417e8: CONS	82227e0, 0
0 is not implemented

8241798: IMPLIES	8241788, 8241778
8241788: CONS	8241738, 8241748
8241738: CONS	8239000, 0
8239000: DOT	0, 8238ff0
8238ff0: ATOM	mated_coast_mnvr, 0
8241748: CONS	0, 0
8241778: CONS	8241758, 8241768
8241758: CONS	0, 0
8241768: CONS	82227e0, 0
0 is not implemented

8241718: IMPLIES	8241708, 82416f8
8241708: CONS	82416b8, 82416c8
82416b8: CONS	8238f60, 0
8238f60: DOT	0, 821ffa0
821ffa0: ATOM	mm602_OK, 0
82416c8: CONS	0, 0
82416f8: CONS	82416d8, 82416e8
82416d8: CONS	0, 0
82416e8: CONS	82227e0, 0
0 is not implemented

8241698: IMPLIES	8241688, 8241678
8241688: CONS	8241638, 8241648
8241638: CONS	8238f20, 0
8238f20: DOT	0, 821ff70
821ff70: ATOM	cond_29, 0
8241648: CONS	0, 0
8241678: CONS	8241658, 8241668
8241658: CONS	0, 0
8241668: CONS	82227e0, 0
0 is not implemented

8241618: IMPLIES	8241608, 82415f8
8241608: CONS	82415b8, 82415c8
82415b8: CONS	8238ee0, 0
8238ee0: DOT	0, 821ff40
821ff40: ATOM	cond_27, 0
82415c8: CONS	0, 0
82415f8: CONS	82415d8, 82415e8
82415d8: CONS	0, 0
82415e8: CONS	82227e0, 0
0 is not implemented

8241598: IMPLIES	8241588, 8241578
8241588: CONS	8241538, 8241548
8241538: CONS	8238ea0, 0
8238ea0: DOT	0, 821ff10
821ff10: ATOM	cond_26, 0
8241548: CONS	0, 0
8241578: CONS	8241558, 8241568
8241558: CONS	0, 0
8241568: CONS	82227e0, 0
0 is not implemented

8241518: IMPLIES	8241508, 82414f8
8241508: CONS	82414b8, 82414c8
82414b8: CONS	8238d20, 0
8238d20: DOT	0, 821fdf0
821fdf0: ATOM	q_orb_LT_0, 0
82414c8: CONS	0, 0
82414f8: CONS	82414d8, 82414e8
82414d8: CONS	0, 0
82414e8: CONS	82227e0, 0
0 is not implemented

8241498: IMPLIES	8241488, 8241478
8241488: CONS	8241438, 8241448
8241438: CONS	8238ca0, 0
8238ca0: DOT	0, 821fd90
821fd90: ATOM	pre_sep, 0
8241448: CONS	0, 0
8241478: CONS	8241458, 8241468
8241458: CONS	0, 0
8241468: CONS	82227e0, 0
0 is not implemented

8241418: IMPLIES	8241408, 82413f8
8241408: CONS	82413b8, 82413c8
82413b8: CONS	8238c60, 0
8238c60: DOT	0, 821fd60
821fd60: ATOM	t_nav-t_gmtlo_LT_t_dmp_last, 0
82413c8: CONS	0, 0
82413f8: CONS	82413d8, 82413e8
82413d8: CONS	0, 0
82413e8: CONS	82227e0, 0
0 is not implemented

8241398: IMPLIES	8241388, 8241378
8241388: CONS	8241338, 8241348
8241338: CONS	8238c20, 0
8238c20: DOT	0, 821fd30
821fd30: ATOM	alt_GRT_alt_min_102_dump, 0
8241348: CONS	0, 0
8241378: CONS	8241358, 8241368
8241358: CONS	0, 0
8241368: CONS	82227e0, 0
0 is not implemented

8241318: IMPLIES	8241308, 82412f8
8241308: CONS	82412b8, 82412c8
82412b8: CONS	8238b20, 0
8238b20: DOT	0, 821fc40
821fc40: ATOM	ABS_r_orb_GRT_r_minus_z_max, 0
82412c8: CONS	0, 0
82412f8: CONS	82412d8, 82412e8
82412d8: CONS	0, 0
82412e8: CONS	82227e0, 0
0 is not implemented

8241298: IMPLIES	8241288, 8241278
8241288: CONS	8241238, 8241248
8241238: CONS	8238ae0, 0
8238ae0: DOT	0, 821fc10
821fc10: ATOM	ABS_q_orb_GRT_q_minus_z_max, 0
8241248: CONS	0, 0
8241278: CONS	8241258, 8241268
8241258: CONS	0, 0
8241268: CONS	82227e0, 0
0 is not implemented

8241218: IMPLIES	8241208, 82411f8
8241208: CONS	82411b8, 82411c8
82411b8: CONS	8238aa0, 0
8238aa0: DOT	0, 821fbe0
821fbe0: ATOM	t_nav-t_et_sep_GRT_dt_min_z_102, 0
82411c8: CONS	0, 0
82411f8: CONS	82411d8, 82411e8
82411d8: CONS	0, 0
82411e8: CONS	82227e0, 0
0 is not implemented

8241198: IMPLIES	8241188, 8241178
8241188: CONS	8241138, 8241148
8241138: CONS	82389a0, 0
82389a0: DOT	0, 821dd00
821dd00: ATOM	v_horiz_dnrng_LT_0, 0
8241148: CONS	0, 0
8241178: CONS	8241158, 8241168
8241158: CONS	0, 0
8241168: CONS	82227e0, 0
0 is not implemented

8241118: IMPLIES	8241108, 82410f8
8241108: CONS	82410b8, 82410c8
82410b8: CONS	8238960, 0
8238960: DOT	0, 821dcd0
821dcd0: ATOM	delta_r_GRT_del_r_usp, 0
82410c8: CONS	0, 0
82410f8: CONS	82410d8, 82410e8
82410d8: CONS	0, 0
82410e8: CONS	82227e0, 0
0 is not implemented

8241098: IMPLIES	8241088, 8241078
8241088: CONS	8241038, 8241048
8241038: CONS	8238920, 0
8238920: DOT	0, 821dca0
821dca0: ATOM	alpha_n_GRT_alpha_reg2, 0
8241048: CONS	0, 0
8241078: CONS	8241058, 8241068
8241058: CONS	0, 0
8241068: CONS	82227e0, 0
0 is not implemented

8241018: IMPLIES	8241008, 8240ff8
8241008: CONS	8240fb8, 8240fc8
8240fb8: CONS	82388a0, 0
82388a0: DOT	0, 821dc70
821dc70: ATOM	h_dot_LT_hdot_reg2, 0
8240fc8: CONS	0, 0
8240ff8: CONS	8240fd8, 8240fe8
8240fd8: CONS	0, 0
8240fe8: CONS	82227e0, 0
0 is not implemented

8240f98: IMPLIES	8240f88, 8240f78
8240f88: CONS	8240f38, 8240f48
8240f38: CONS	8238860, 0
8238860: DOT	0, 821dc40
821dc40: ATOM	apogee_alt_LT_alt_ref, 0
8240f48: CONS	0, 0
8240f78: CONS	8240f58, 8240f68
8240f58: CONS	0, 0
8240f68: CONS	82227e0, 0
0 is not implemented

8240f18: IMPLIES	8240f08, 8240ef8
8240f08: CONS	8240eb8, 8240ec8
8240eb8: CONS	8238820, 0
8238820: DOT	0, 821fca0
821fca0: ATOM	q_bar_a_LT_qbar_oms_dump, 0
8240ec8: CONS	0, 0
8240ef8: CONS	8240ed8, 8240ee8
8240ed8: CONS	0, 0
8240ee8: CONS	82227e0, 0
0 is not implemented

8240e98: IMPLIES	8240e88, 8240e78
8240e88: CONS	8240e38, 8240e48
8240e38: CONS	82387a0, 0
82387a0: DOT	0, 821dc10
821dc10: ATOM	q_bar, 0
8240e48: CONS	0, 0
8240e78: CONS	8240e58, 8240e68
8240e58: CONS	0, 0
8240e68: CONS	82227e0, 0
0 is not implemented

8240e18: IMPLIES	8240e08, 8240df8
8240e08: CONS	8240db8, 8240dc8
8240db8: CONS	8238760, 0
8238760: DOT	0, 821dbe0
821dbe0: ATOM	vel, 0
8240dc8: CONS	0, 0
8240df8: CONS	8240dd8, 8240de8
8240dd8: CONS	0, 0
8240de8: CONS	82227e0, 0
0 is not implemented

8240d98: IMPLIES	8240d88, 8240d78
8240d88: CONS	8240d38, 8240d48
8240d38: CONS	8238720, 0
8238720: DOT	0, 821dbb0
821dbb0: ATOM	smode5, 0
8240d48: CONS	0, 0
8240d78: CONS	8240d58, 8240d68
8240d58: CONS	0, 0
8240d68: CONS	82227e0, 0
0 is not implemented

The number of abstracted variables is 43
