automaton::transform::AutomatonIteration returns invalid automaton for L*

The algorithm does not correspond to https://courses.fit.cvut.cz/BI-AAG/lectures/bi-aag-03-operace_s_automaty.pdf

The step 2 is missing (when there is a transition from the initial state to a final state, we do not add the transition back to the old initial state from the new initial state)