resolve inconsistencies
more on paths
more on nfa