redone: nfa: rename methods to 'correct' names