Tried append with map for simulate-nfa