removing nfa states also removes transitions to that state