Index of exceptions

N
No_next_state [Ltl]	No next state in path.