singleInitialState for FSMs in alib2algo

alib2algo/src/automaton/AutomatonPropertiesFSM.cpp

alib2algo/src/automaton/EpsilonClosure.cpp

alib2algo/src/automaton/EpsilonClosure.h

alib2algo/src/automaton/FSMSingleInitialState.cpp

alib2algo/src/automaton/FSMSingleInitialState.h

alib2algo/src/automaton/FSMTotal.cpp

alib2algo/src/automaton/FSMTotal.h

alib2algo/src/automaton/PDAToRHPDA.cpp

alib2algo/src/automaton/PDAToRHPDA.h

alib2algo/src/automaton/RHPDAToPDA.cpp

alib2algo/src/automaton/RHPDAToPDA.h

alib2algo/src/conversions/fa2re/Algebraic.cpp

alib2algo/src/conversions/fa2re/Algebraic.h

...o/src/conversions/fa2re/formal/StateEliminationFormal.cpp

...lgo/src/conversions/fa2re/formal/StateEliminationFormal.h

...conversions/fa2re/unbounded/StateEliminationUnbounded.cpp

...c/conversions/fa2re/unbounded/StateEliminationUnbounded.h

alib2algo/src/conversions/fa2rg/fa2lrg/FAtoLRGConverter.cpp

alib2algo/src/conversions/fa2rg/fa2lrg/FAtoLRGConverter.h

alib2algo/src/conversions/fa2rg/fa2rrg/FAtoRRGConverter.cpp