arand: Always generate at least one final state.

arand/src/RandomAutomatonFactory.cpp

@@ -130,8 +130,14 @@ FSM RandomAutomatonFactory::LeslieConnectedNFA( size_t n, const deque<Symbol> &
             automata.addFinalState( q );
     }
-    if( n == 1 )
-        automata.addFinalState( * automata.getInitialStates( ).begin( ) );
+    if( automata.getFinalStates( ).size( ) == 0 )
+    {
+        if( n == 1 )
+            automata.addFinalState( * automata.getInitialStates( ).begin( ) );
+        else
+            //todo: change
+            automata.addFinalState( * automata.getInitialStates( ).begin( ) );
+    }
     double mnn100 = 100.0 / alphabet.size( ) / n / n;
     while( automata.getTransitions( ).size( ) * mnn100 < density )