last NfA
 after BFS
conflict Solved