Fixed bug in Nfa.projection