Fixed bug in Nfa.product