fixed bug in explicit jani model generator

Former-commit-id: 445ee6a4ba [formerly 702d0fb0de]
Former-commit-id: 0fb52d40d4

src/generator/JaniNextStateGenerator.cpp

@@ -486,6 +486,8 @@ namespace storm {
                                 currentTargetStates = newTargetStates;
                                 newTargetStates = new boost::container::flat_map<CompressedState, ValueType>();
                             }
+                            
+                            ++locationVariableIt;
                         }
                         
                         // At this point, we applied all commands of the current command combination and newTargetStates
@@ -541,7 +543,6 @@ namespace storm {
             // Iterate over all automata.
             uint64_t automatonIndex = 0;
             for (auto const& automaton : model.getAutomata()) {
-                
                 // If the automaton has no edge labeled with the given action, we can skip it.
                 if (!automaton.hasEdgeLabeledWithActionIndex(actionIndex)) {
                     continue;