Merge branch 'keep-module-index-map-in-parsing' into game_formula_parsing

src/storm-parsers/parser/PrismParser.h

@@ -37,7 +37,6 @@ namespace storm {
                 formulas.clear();
                 globalBooleanVariables.clear();
                 globalIntegerVariables.clear();
-                moduleToIndexMap.clear();
                 players.clear();
                 playerControlledModules.clear();
                 playerControlledCommands.clear();