redone: nfa: removed reallocation of sets