Handling of no general transition firings
The construction of the singular automaton segfaults in case no general transition has fired (SingularAutomatonCreator.cpp:87).
The construction of the singular automaton segfaults in case no general transition has fired (SingularAutomatonCreator.cpp:87).