arand: change to final states gen

arand/src/RandomAutomatonFactory.cpp

@@ -123,8 +123,12 @@ FSM RandomAutomatonFactory::LeslieConnectedNFA( size_t n, const deque<Symbol> &
     }
     for( State q : Q )
-        if( automata.getTransitionsFromState( q ).size( ) == 0 )
+    {
+        if( automata.getTransitionsFromState( q ).size( ) == 0 && rand( ) % 100 < 90 )
+            automata.addFinalState( q );
+        else if( automata.getTransitionsFromState( q ).size( ) > 0 && rand( ) % 100 < 10 )
             automata.addFinalState( q );
+    }
     if( n == 1 )
         automata.addFinalState( * automata.getInitialStates( ).begin( ) );