aconversion: Special case in FA -> RRG conversion

aconversions/src/fa2rg/fa2rrg/FAtoRRGConverter.cpp

@@ -40,7 +40,13 @@ RightRegularGrammar FAtoRRGConverter::convert( void )
             list<Symbol> leftSide, rightSide;
             leftSide.push_back( symbolMap.getNonTerminal( transition.getFrom( ) ) );
             rightSide.push_back( transition.getInput( ) );
-            m_grammar.addRule( Rule( leftSide, rightSide ) );
+
+            /*
+             *  Rule might already in - consider case:
+             *  \delta(A,a) = F and \delta(B,a) = G, where both F and G are final states
+             */
+            if( ! isInSet( Rule( leftSide, rightSide), m_grammar.getRules( ) ) )
+                m_grammar.addRule( Rule( leftSide, rightSide ) );
         }
     }