Looks like this situation only occurs when reversing produced a start state which is also an end state. Otherwise, we accidentally merge away a required state for cases such as `a+b`.
Looks like this situation only occurs when reversing produced a start state which is also an end state. Otherwise, we accidentally merge away a required state for cases such as `a+b`.

katef/libfsm,katef/libfsm,katef/libfsm,katef/libfsm,katef/libfsm