Add simple nfa and test