Prefix test for nfa's added