redone: nfa: cache epsilon and accept expansions