diff --git a/prism/src/parser/PrismParser.java b/prism/src/parser/PrismParser.java
index c77af12a..57a4d4b8 100644
--- a/prism/src/parser/PrismParser.java
+++ b/prism/src/parser/PrismParser.java
@@ -3142,28 +3142,6 @@ public class PrismParser implements PrismParserConstants {
     finally { jj_save(15, xla); }
   }
 
-  static private boolean jj_3_14() {
-    if (jj_3R_31()) return true;
-    if (jj_scan_token(LPARENTH)) return true;
-    return false;
-  }
-
-  static private boolean jj_3R_137() {
-    if (jj_scan_token(S)) return true;
-    Token xsp;
-    xsp = jj_scanpos;
-    if (jj_3R_158()) {
-    jj_scanpos = xsp;
-    if (jj_3R_159()) return true;
-    }
-    if (jj_scan_token(LBRACKET)) return true;
-    if (jj_3R_39()) return true;
-    xsp = jj_scanpos;
-    if (jj_3R_160()) jj_scanpos = xsp;
-    if (jj_scan_token(RBRACKET)) return true;
-    return false;
-  }
-
   static private boolean jj_3_13() {
     if (jj_3R_31()) return true;
     if (jj_scan_token(LPARENTH)) return true;
@@ -4492,6 +4470,12 @@ public class PrismParser implements PrismParserConstants {
     return false;
   }
 
+  static private boolean jj_3R_90() {
+    if (jj_scan_token(OR)) return true;
+    if (jj_3R_89()) return true;
+    return false;
+  }
+
   static private boolean jj_3R_32() {
     if (jj_3R_34()) return true;
     Token xsp;
@@ -4502,14 +4486,18 @@ public class PrismParser implements PrismParserConstants {
     return false;
   }
 
-  static private boolean jj_3R_90() {
-    if (jj_scan_token(OR)) return true;
-    if (jj_3R_89()) return true;
+  static private boolean jj_3_5() {
+    if (jj_3R_29()) return true;
     return false;
   }
 
-  static private boolean jj_3_5() {
-    if (jj_3R_29()) return true;
+  static private boolean jj_3R_87() {
+    if (jj_3R_89()) return true;
+    Token xsp;
+    while (true) {
+      xsp = jj_scanpos;
+      if (jj_3R_90()) { jj_scanpos = xsp; break; }
+    }
     return false;
   }
 
@@ -4523,16 +4511,6 @@ public class PrismParser implements PrismParserConstants {
     return false;
   }
 
-  static private boolean jj_3R_87() {
-    if (jj_3R_89()) return true;
-    Token xsp;
-    while (true) {
-      xsp = jj_scanpos;
-      if (jj_3R_90()) { jj_scanpos = xsp; break; }
-    }
-    return false;
-  }
-
   static private boolean jj_3R_88() {
     if (jj_scan_token(IFF)) return true;
     if (jj_3R_87()) return true;
@@ -4585,6 +4563,28 @@ public class PrismParser implements PrismParserConstants {
     return false;
   }
 
+  static private boolean jj_3_14() {
+    if (jj_3R_31()) return true;
+    if (jj_scan_token(LPARENTH)) return true;
+    return false;
+  }
+
+  static private boolean jj_3R_137() {
+    if (jj_scan_token(S)) return true;
+    Token xsp;
+    xsp = jj_scanpos;
+    if (jj_3R_158()) {
+    jj_scanpos = xsp;
+    if (jj_3R_159()) return true;
+    }
+    if (jj_scan_token(LBRACKET)) return true;
+    if (jj_3R_39()) return true;
+    xsp = jj_scanpos;
+    if (jj_3R_160()) jj_scanpos = xsp;
+    if (jj_scan_token(RBRACKET)) return true;
+    return false;
+  }
+
   static private boolean jj_initialized_once = false;
   /** Generated Token Manager. */
   static public PrismParserTokenManager token_source;