automaton::simplify::Total: No op for FSM with total transition function (Closes #177)

alib2algo/src/automaton/simplify/Total.h

@@ -81,6 +81,9 @@ template < class T >
 ext::require < isDFA < T > || isNFA < T >, T > Total::total ( const T & automaton ) {
 	using StateType = typename T::StateType;
+	if ( automaton.isTotal ( ) )
+		return automaton;
+
 	T res ( automaton );
 	StateType nullState = common::createUnique ( label::FailStateLabel::instance < StateType > ( ), automaton.getStates ( ) );
 	res.addState ( nullState );