in-state for each state & more unit test cases
finish nfa matching, draft