Added output for nfa.