free_slist
free_slist(&slist);
free_slist(&slist);
free_slist(&slist);
free_slist(&slist);
free_slist(&slist);
free_slist(&slist);
free_slist(&clone->possible);
free_slist(&already_handled);
free_slist(&already_handled);
free_slist(&already_handled);
free_slist(&true_stack);
free_slist(&false_stack);
free_slist(&true_sm->possible);
free_slist(&false_sm->possible);
free_slist(checked);
free_slist(&true_stack);
free_slist(&false_stack);
free_slist(&true_stack);
free_slist(&false_stack);
free_slist(&true_stack);
free_slist(&false_stack);
free_slist(&true_stack);
free_slist(&false_stack);
free_slist(&tmp_true);
free_slist(&tmp_false);
free_slist(&sm->possible);
free_slist(&add_to_one);
free_slist(&add_to_two);
free_slist(&slist);
free_slist(&add_to_one);
free_slist(&add_to_two);
void free_slist(struct state_list **slist);
free_slist(&slist);
free_slist(&slist);
free_slist(&tmp_true);
free_slist(&tmp_false);
free_slist(&true_strings);