implementate nfa_clear nfa_list, formattata un po' di roba
mancava nfa_