Nfa determinization is tested and functioning.