delete_all_states_stree_stack_sym

508

delete_all_states_stree_stack_sym(&true_stack, sym);

509

delete_all_states_stree_stack_sym(&true_stack, sym);

510

delete_all_states_stree_stack_sym(&false_stack, sym);

511

delete_all_states_stree_stack_sym(&pre_cond_stack, sym);

512

delete_all_states_stree_stack_sym(&cond_true_stack, sym);

513

delete_all_states_stree_stack_sym(&cond_false_stack, sym);

514

delete_all_states_stree_stack_sym(&fake_cur_stree_stack, sym);

515

delete_all_states_stree_stack_sym(&break_stack, sym);

516

delete_all_states_stree_stack_sym(&fake_break_stack, sym);

517

delete_all_states_stree_stack_sym(&switch_stack, sym);

518

delete_all_states_stree_stack_sym(&continue_stack, sym);