Merge pull request #1403 from diffblue/smv-module-parameters-fix

SMV: create module before parsing parameters

Author: tautschnig

src/smvlang/parser.y

@@ -361,14 +361,9 @@ module_name: IDENTIFIER_Token
            | STRING_Token
            ;
 
-module_head: MODULE_Token module_name
-           {
-             new_module($2);
-           }
-           | MODULE_Token module_name '(' module_parameters_opt ')'
-           {
-             new_module($2);
-           }
+module_head: MODULE_Token module_name { new_module($2); }
+           | MODULE_Token module_name { new_module($2); }
+             '(' module_parameters_opt ')'
            ;
 
 module_body: /* optional */