3991 free_automata_list (automata_list_el_t automata_list)  in free_automata_list()  argument
3996   for (curr_automata_list_el = automata_list;  in free_automata_list()
4007 automata_list_hash (const void *automata_list)  in automata_list_hash()  argument
4013   for (curr_automata_list_el = (automata_list_el_t) automata_list;  in automata_list_hash()
7739 output_automata_list_min_issue_delay_code (automata_list_el_t automata_list)  in output_automata_list_min_issue_delay_code()  argument
7744   for (el = automata_list; el != NULL; el = el->next_automata_list_el)  in output_automata_list_min_issue_delay_code()
7774       if (el == automata_list)  in output_automata_list_min_issue_delay_code()
7810 output_automata_list_transition_code (automata_list_el_t automata_list)  in output_automata_list_transition_code()  argument
7815   if (automata_list != NULL && automata_list->next_automata_list_el != NULL)  in output_automata_list_transition_code()
7816     for (el = automata_list;; el = next_el)  in output_automata_list_transition_code()
7827   for (el = automata_list; el != NULL; el = el->next_automata_list_el)  in output_automata_list_transition_code()
7885   if (automata_list != NULL && automata_list->next_automata_list_el != NULL)  in output_automata_list_transition_code()
7886     for (el = automata_list;; el = next_el)  in output_automata_list_transition_code()