Trace: nfa