sfp 0.1.1 → 0.1.3

data/lib/sfp/SfpLangParser.rb

@@ -5,7 +5,7 @@
 # Generated using ANTLR version: 3.2.1-SNAPSHOT Jul 31, 2010 19:34:52
 # Ruby runtime library version: 1.8.11
 # Input grammar file: SfpLang.g
-# Generated at: 2013-04-20 17:59:20
+# Generated at: 2013-05-06 16:26:13
 # 
 
 # ~~~> start load path setup
@@ -76,16 +76,16 @@ module SfpLang
                    :ESC_SEQ => 13, :BOOLEAN => 9, :T__51 => 51, :T__52 => 52, 
                    :T__18 => 18, :T__53 => 53, :T__54 => 54, :T__59 => 59, 
                    :NL => 4, :COMMENT => 11, :T__50 => 50, :T__42 => 42, 
-                   :T__43 => 43, :T__40 => 40, :T__41 => 41, :T__46 => 46, 
-                   :T__47 => 47, :T__44 => 44, :T__45 => 45, :T__48 => 48, 
-                   :T__49 => 49, :UNICODE_ESC => 16, :NULL => 5, :NUMBER => 8, 
-                   :HEX_DIGIT => 15, :MULTILINE_STRING => 10, :T__30 => 30, 
-                   :T__31 => 31, :T__32 => 32, :WS => 12, :T__71 => 71, 
-                   :T__33 => 33, :T__72 => 72, :T__34 => 34, :T__35 => 35, 
-                   :T__70 => 70, :T__36 => 36, :T__37 => 37, :T__38 => 38, 
-                   :T__39 => 39, :T__76 => 76, :T__75 => 75, :T__74 => 74, 
-                   :T__73 => 73, :T__79 => 79, :STRING => 6, :T__78 => 78, 
-                   :T__77 => 77 )
+                   :T__43 => 43, :T__40 => 40, :T__41 => 41, :T__80 => 80, 
+                   :T__46 => 46, :T__47 => 47, :T__44 => 44, :T__45 => 45, 
+                   :T__48 => 48, :T__49 => 49, :UNICODE_ESC => 16, :NULL => 5, 
+                   :NUMBER => 8, :HEX_DIGIT => 15, :MULTILINE_STRING => 10, 
+                   :T__30 => 30, :T__31 => 31, :T__32 => 32, :WS => 12, 
+                   :T__71 => 71, :T__33 => 33, :T__72 => 72, :T__34 => 34, 
+                   :T__35 => 35, :T__70 => 70, :T__36 => 36, :T__37 => 37, 
+                   :T__38 => 38, :T__39 => 39, :T__76 => 76, :T__75 => 75, 
+                   :T__74 => 74, :T__73 => 73, :T__79 => 79, :STRING => 6, 
+                   :T__78 => 78, :T__77 => 77 )
 
     # register the proper human-readable name or literal value
     # for each token type
@@ -96,13 +96,13 @@ module SfpLang
     register_names( "NL", "NULL", "STRING", "ID", "NUMBER", "BOOLEAN", "MULTILINE_STRING", 
                     "COMMENT", "WS", "ESC_SEQ", "EXPONENT", "HEX_DIGIT", 
                     "UNICODE_ESC", "OCTAL_ESC", "'include'", "'state'", 
-                    "'{'", "'}'", "'composite'", "'class'", "'extends'", 
-                    "'isa'", "'['", "']'", "'if'", "'then'", "'or'", "'operator'", 
-                    "'cost'", "'conditions'", "'condition'", "'effects'", 
-                    "'procedure'", "'('", "','", "')'", "'areall'", "'isset'", 
-                    "'effect'", "'goal'", "'constraint'", "'always'", "'sometime'", 
-                    "'within'", "'after'", "'before'", "'foreach'", "'as'", 
-                    "'forall'", "'exist'", "'forsome'", "'='", "':different'", 
+                    "'{'", "'}'", "'composite'", "'class'", "'schema'", 
+                    "'extends'", "'isa'", "'['", "']'", "'if'", "'then'", 
+                    "'or'", "'operator'", "'cost'", "'conditions'", "'condition'", 
+                    "'effects'", "'procedure'", "'('", "','", "')'", "'areall'", 
+                    "'isset'", "'effect'", "'goal'", "'constraint'", "'always'", 
+                    "'sometime'", "'within'", "'after'", "'before'", "'foreach'", 
+                    "'as'", "'forall'", "'exist'", "'forsome'", "'='", "':different'", 
                     "'not'", "'is'", "'in'", "'isnot'", "'isnt'", "'has'", 
                     "'total('", "'new'", "'delete'", "'add('", "'remove('", 
                     "'.'", "'isref'", "'either'", "'!='", "'+='", "'-='", 
@@ -237,7 +237,7 @@ module SfpLang
           alt_3 = 2
           look_3_0 = @input.peek( 1 )
 
-          if ( look_3_0 == T__23 || look_3_0 == T__36 )
+          if ( look_3_0.between?( T__23, T__24 ) || look_3_0 == T__37 )
             alt_3 = 1
 
           end
@@ -262,11 +262,11 @@ module SfpLang
           case look_5 = @input.peek( 1 )
           when ID then case look_5 = @input.peek( 2 )
           when T__19 then alt_5 = 3
-          when T__44 then alt_5 = 4
-          when T__26, T__55, T__58, T__68 then alt_5 = 1
-          when EOF, NL, ID, T__20, T__22, T__25, T__43 then alt_5 = 2
+          when T__45 then alt_5 = 4
+          when T__27, T__56, T__59, T__69 then alt_5 = 1
+          when EOF, NL, ID, T__20, T__22, T__26, T__44 then alt_5 = 2
           end
-          when T__43 then alt_5 = 5
+          when T__44 then alt_5 = 5
           when T__22 then alt_5 = 6
           end
           case alt_5
@@ -664,9 +664,9 @@ module SfpLang
         alt_9 = 2
         look_9_0 = @input.peek( 1 )
 
-        if ( look_9_0 == T__23 )
+        if ( look_9_0.between?( T__23, T__24 ) )
           alt_9 = 1
-        elsif ( look_9_0 == T__36 )
+        elsif ( look_9_0 == T__37 )
           alt_9 = 2
         else
           raise NoViableAlternative( "", 9, 0 )
@@ -960,9 +960,9 @@ module SfpLang
           if ( look_14_0 == ID )
             look_14_2 = @input.peek( 2 )
 
-            if ( look_14_2 == T__44 )
+            if ( look_14_2 == T__45 )
               alt_14 = 2
-            elsif ( look_14_2 == NL || look_14_2 == T__20 || look_14_2 == T__25 || look_14_2 == T__41 || look_14_2 == T__55 || look_14_2 == T__58 || look_14_2.between?( T__69, T__70 ) )
+            elsif ( look_14_2 == NL || look_14_2 == T__20 || look_14_2 == T__26 || look_14_2 == T__42 || look_14_2 == T__56 || look_14_2 == T__59 || look_14_2.between?( T__70, T__71 ) )
               alt_14 = 1
 
             end
@@ -1044,7 +1044,7 @@ module SfpLang
     # parser rule class_definition
     # 
     # (in SfpLang.g)
-    # 106:1: class_definition : 'class' ID ( extends_class )? ( '{' ( NL )* ( attribute | procedure )* '}' )? ( NL )* ;
+    # 106:1: class_definition : ( 'class' | 'schema' ) ID ( extends_class )? ( '{' ( NL )* ( attribute | procedure )* '}' )? ( NL )* ;
     # 
     def class_definition
       # -> uncomment the next line to manually enable rule tracing
@@ -1055,7 +1055,7 @@ module SfpLang
       return_value.start = @input.look
 
       root_0 = nil
-      string_literal39 = nil
+      set39 = nil
       __ID40__ = nil
       char_literal42 = nil
       __NL43__ = nil
@@ -1065,7 +1065,7 @@ module SfpLang
       attribute44 = nil
       procedure45 = nil
 
-      tree_for_string_literal39 = nil
+      tree_for_set39 = nil
       tree_for_ID40 = nil
       tree_for_char_literal42 = nil
       tree_for_NL43 = nil
@@ -1076,13 +1076,19 @@ module SfpLang
         root_0 = @adaptor.create_flat_list
 
 
-        # at line 107:4: 'class' ID ( extends_class )? ( '{' ( NL )* ( attribute | procedure )* '}' )? ( NL )*
-        string_literal39 = match( T__23, TOKENS_FOLLOWING_T__23_IN_class_definition_269 )
+        # at line 107:4: ( 'class' | 'schema' ) ID ( extends_class )? ( '{' ( NL )* ( attribute | procedure )* '}' )? ( NL )*
+        set39 = @input.look
+        if @input.peek( 1 ).between?( T__23, T__24 )
+          @input.consume
+          @adaptor.add_child( root_0, @adaptor.create_with_payload( set39 ) )
+          @state.error_recovery = false
+        else
+          mse = MismatchedSet( nil )
+          raise mse
+        end
 
-        tree_for_string_literal39 = @adaptor.create_with_payload( string_literal39 )
-        @adaptor.add_child( root_0, tree_for_string_literal39 )
 
-        __ID40__ = match( ID, TOKENS_FOLLOWING_ID_IN_class_definition_271 )
+        __ID40__ = match( ID, TOKENS_FOLLOWING_ID_IN_class_definition_275 )
 
         tree_for_ID40 = @adaptor.create_with_payload( __ID40__ )
         @adaptor.add_child( root_0, tree_for_ID40 )
@@ -1100,13 +1106,13 @@ module SfpLang
         alt_16 = 2
         look_16_0 = @input.peek( 1 )
 
-        if ( look_16_0 == T__24 )
+        if ( look_16_0 == T__25 )
           alt_16 = 1
         end
         case alt_16
         when 1
           # at line 115:4: extends_class
-          @state.following.push( TOKENS_FOLLOWING_extends_class_IN_class_definition_280 )
+          @state.following.push( TOKENS_FOLLOWING_extends_class_IN_class_definition_284 )
           extends_class41 = extends_class
           @state.following.pop
           @adaptor.add_child( root_0, extends_class41.tree )
@@ -1127,7 +1133,7 @@ module SfpLang
         case alt_19
         when 1
           # at line 120:4: '{' ( NL )* ( attribute | procedure )* '}'
-          char_literal42 = match( T__20, TOKENS_FOLLOWING_T__20_IN_class_definition_294 )
+          char_literal42 = match( T__20, TOKENS_FOLLOWING_T__20_IN_class_definition_298 )
 
           tree_for_char_literal42 = @adaptor.create_with_payload( char_literal42 )
           @adaptor.add_child( root_0, tree_for_char_literal42 )
@@ -1144,7 +1150,7 @@ module SfpLang
             case alt_17
             when 1
               # at line 120:8: NL
-              __NL43__ = match( NL, TOKENS_FOLLOWING_NL_IN_class_definition_296 )
+              __NL43__ = match( NL, TOKENS_FOLLOWING_NL_IN_class_definition_300 )
 
               tree_for_NL43 = @adaptor.create_with_payload( __NL43__ )
               @adaptor.add_child( root_0, tree_for_NL43 )
@@ -1161,21 +1167,21 @@ module SfpLang
 
             if ( look_18_0 == ID )
               alt_18 = 1
-            elsif ( look_18_0 == T__36 )
+            elsif ( look_18_0 == T__37 )
               alt_18 = 2
 
             end
             case alt_18
             when 1
               # at line 120:14: attribute
-              @state.following.push( TOKENS_FOLLOWING_attribute_IN_class_definition_301 )
+              @state.following.push( TOKENS_FOLLOWING_attribute_IN_class_definition_305 )
               attribute44 = attribute
               @state.following.pop
               @adaptor.add_child( root_0, attribute44.tree )
 
             when 2
               # at line 120:26: procedure
-              @state.following.push( TOKENS_FOLLOWING_procedure_IN_class_definition_305 )
+              @state.following.push( TOKENS_FOLLOWING_procedure_IN_class_definition_309 )
               procedure45 = procedure
               @state.following.pop
               @adaptor.add_child( root_0, procedure45.tree )
@@ -1184,7 +1190,7 @@ module SfpLang
               break # out of loop for decision 18
             end
           end # loop for decision 18
-          char_literal46 = match( T__21, TOKENS_FOLLOWING_T__21_IN_class_definition_310 )
+          char_literal46 = match( T__21, TOKENS_FOLLOWING_T__21_IN_class_definition_314 )
 
           tree_for_char_literal46 = @adaptor.create_with_payload( char_literal46 )
           @adaptor.add_child( root_0, tree_for_char_literal46 )
@@ -1203,7 +1209,7 @@ module SfpLang
           case alt_20
           when 1
             # at line 120:45: NL
-            __NL47__ = match( NL, TOKENS_FOLLOWING_NL_IN_class_definition_314 )
+            __NL47__ = match( NL, TOKENS_FOLLOWING_NL_IN_class_definition_318 )
 
             tree_for_NL47 = @adaptor.create_with_payload( __NL47__ )
             @adaptor.add_child( root_0, tree_for_NL47 )
@@ -1270,12 +1276,12 @@ module SfpLang
 
 
         # at line 131:4: 'extends' path
-        string_literal48 = match( T__24, TOKENS_FOLLOWING_T__24_IN_extends_class_335 )
+        string_literal48 = match( T__25, TOKENS_FOLLOWING_T__25_IN_extends_class_339 )
 
         tree_for_string_literal48 = @adaptor.create_with_payload( string_literal48 )
         @adaptor.add_child( root_0, tree_for_string_literal48 )
 
-        @state.following.push( TOKENS_FOLLOWING_path_IN_extends_class_337 )
+        @state.following.push( TOKENS_FOLLOWING_path_IN_extends_class_341 )
         path49 = path
         @state.following.pop
         @adaptor.add_child( root_0, path49.tree )
@@ -1357,11 +1363,11 @@ module SfpLang
 
         if ( look_26_0 == ID )
           case look_26 = @input.peek( 2 )
-          when T__55, T__58 then alt_26 = 1
-          when T__69 then alt_26 = 2
-          when T__41 then alt_26 = 3
-          when T__70 then alt_26 = 4
-          when NL, T__20, T__25 then alt_26 = 5
+          when T__56, T__59 then alt_26 = 1
+          when T__70 then alt_26 = 2
+          when T__42 then alt_26 = 3
+          when T__71 then alt_26 = 4
+          when NL, T__20, T__26 then alt_26 = 5
           else
             raise NoViableAlternative( "", 26, 1 )
           end
@@ -1374,16 +1380,16 @@ module SfpLang
 
 
           # at line 139:4: ID equals_op value ( NL )+
-          __ID50__ = match( ID, TOKENS_FOLLOWING_ID_IN_attribute_352 )
+          __ID50__ = match( ID, TOKENS_FOLLOWING_ID_IN_attribute_356 )
 
           tree_for_ID50 = @adaptor.create_with_payload( __ID50__ )
           @adaptor.add_child( root_0, tree_for_ID50 )
 
-          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_attribute_354 )
+          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_attribute_358 )
           equals_op51 = equals_op
           @state.following.pop
           @adaptor.add_child( root_0, equals_op51.tree )
-          @state.following.push( TOKENS_FOLLOWING_value_IN_attribute_356 )
+          @state.following.push( TOKENS_FOLLOWING_value_IN_attribute_360 )
           value52 = value
           @state.following.pop
           @adaptor.add_child( root_0, value52.tree )
@@ -1400,7 +1406,7 @@ module SfpLang
             case alt_21
             when 1
               # at line 139:23: NL
-              __NL53__ = match( NL, TOKENS_FOLLOWING_NL_IN_attribute_358 )
+              __NL53__ = match( NL, TOKENS_FOLLOWING_NL_IN_attribute_362 )
 
               tree_for_NL53 = @adaptor.create_with_payload( __NL53__ )
               @adaptor.add_child( root_0, tree_for_NL53 )
@@ -1432,12 +1438,12 @@ module SfpLang
 
 
           # at line 148:4: ID reference_type ( NL )+
-          __ID54__ = match( ID, TOKENS_FOLLOWING_ID_IN_attribute_368 )
+          __ID54__ = match( ID, TOKENS_FOLLOWING_ID_IN_attribute_372 )
 
           tree_for_ID54 = @adaptor.create_with_payload( __ID54__ )
           @adaptor.add_child( root_0, tree_for_ID54 )
 
-          @state.following.push( TOKENS_FOLLOWING_reference_type_IN_attribute_370 )
+          @state.following.push( TOKENS_FOLLOWING_reference_type_IN_attribute_374 )
           reference_type55 = reference_type
           @state.following.pop
           @adaptor.add_child( root_0, reference_type55.tree )
@@ -1454,7 +1460,7 @@ module SfpLang
             case alt_22
             when 1
               # at line 148:22: NL
-              __NL56__ = match( NL, TOKENS_FOLLOWING_NL_IN_attribute_372 )
+              __NL56__ = match( NL, TOKENS_FOLLOWING_NL_IN_attribute_376 )
 
               tree_for_NL56 = @adaptor.create_with_payload( __NL56__ )
               @adaptor.add_child( root_0, tree_for_NL56 )
@@ -1479,12 +1485,12 @@ module SfpLang
 
 
           # at line 150:4: ID set_type ( NL )+
-          __ID57__ = match( ID, TOKENS_FOLLOWING_ID_IN_attribute_382 )
+          __ID57__ = match( ID, TOKENS_FOLLOWING_ID_IN_attribute_386 )
 
           tree_for_ID57 = @adaptor.create_with_payload( __ID57__ )
           @adaptor.add_child( root_0, tree_for_ID57 )
 
-          @state.following.push( TOKENS_FOLLOWING_set_type_IN_attribute_384 )
+          @state.following.push( TOKENS_FOLLOWING_set_type_IN_attribute_388 )
           set_type58 = set_type
           @state.following.pop
           @adaptor.add_child( root_0, set_type58.tree )
@@ -1501,7 +1507,7 @@ module SfpLang
             case alt_23
             when 1
               # at line 150:16: NL
-              __NL59__ = match( NL, TOKENS_FOLLOWING_NL_IN_attribute_386 )
+              __NL59__ = match( NL, TOKENS_FOLLOWING_NL_IN_attribute_390 )
 
               tree_for_NL59 = @adaptor.create_with_payload( __NL59__ )
               @adaptor.add_child( root_0, tree_for_NL59 )
@@ -1526,16 +1532,16 @@ module SfpLang
 
 
           # at line 152:4: ID probability_op set_value ( NL )+
-          __ID60__ = match( ID, TOKENS_FOLLOWING_ID_IN_attribute_396 )
+          __ID60__ = match( ID, TOKENS_FOLLOWING_ID_IN_attribute_400 )
 
           tree_for_ID60 = @adaptor.create_with_payload( __ID60__ )
           @adaptor.add_child( root_0, tree_for_ID60 )
 
-          @state.following.push( TOKENS_FOLLOWING_probability_op_IN_attribute_398 )
+          @state.following.push( TOKENS_FOLLOWING_probability_op_IN_attribute_402 )
           probability_op61 = probability_op
           @state.following.pop
           @adaptor.add_child( root_0, probability_op61.tree )
-          @state.following.push( TOKENS_FOLLOWING_set_value_IN_attribute_400 )
+          @state.following.push( TOKENS_FOLLOWING_set_value_IN_attribute_404 )
           set_value62 = set_value
           @state.following.pop
           @adaptor.add_child( root_0, set_value62.tree )
@@ -1552,7 +1558,7 @@ module SfpLang
             case alt_24
             when 1
               # at line 152:32: NL
-              __NL63__ = match( NL, TOKENS_FOLLOWING_NL_IN_attribute_402 )
+              __NL63__ = match( NL, TOKENS_FOLLOWING_NL_IN_attribute_406 )
 
               tree_for_NL63 = @adaptor.create_with_payload( __NL63__ )
               @adaptor.add_child( root_0, tree_for_NL63 )
@@ -1584,7 +1590,7 @@ module SfpLang
 
 
           # at line 161:4: object_def ( NL )+
-          @state.following.push( TOKENS_FOLLOWING_object_def_IN_attribute_412 )
+          @state.following.push( TOKENS_FOLLOWING_object_def_IN_attribute_416 )
           object_def64 = object_def
           @state.following.pop
           @adaptor.add_child( root_0, object_def64.tree )
@@ -1601,7 +1607,7 @@ module SfpLang
             case alt_25
             when 1
               # at line 161:15: NL
-              __NL65__ = match( NL, TOKENS_FOLLOWING_NL_IN_attribute_414 )
+              __NL65__ = match( NL, TOKENS_FOLLOWING_NL_IN_attribute_418 )
 
               tree_for_NL65 = @adaptor.create_with_payload( __NL65__ )
               @adaptor.add_child( root_0, tree_for_NL65 )
@@ -1675,7 +1681,7 @@ module SfpLang
 
 
         # at line 165:4: ID ( 'isa' path ( '[' NUMBER ']' )? )? ( object_body )?
-        __ID66__ = match( ID, TOKENS_FOLLOWING_ID_IN_object_def_426 )
+        __ID66__ = match( ID, TOKENS_FOLLOWING_ID_IN_object_def_430 )
 
         tree_for_ID66 = @adaptor.create_with_payload( __ID66__ )
         @adaptor.add_child( root_0, tree_for_ID66 )
@@ -1695,18 +1701,18 @@ module SfpLang
         alt_28 = 2
         look_28_0 = @input.peek( 1 )
 
-        if ( look_28_0 == T__25 )
+        if ( look_28_0 == T__26 )
           alt_28 = 1
         end
         case alt_28
         when 1
           # at line 175:4: 'isa' path ( '[' NUMBER ']' )?
-          string_literal67 = match( T__25, TOKENS_FOLLOWING_T__25_IN_object_def_435 )
+          string_literal67 = match( T__26, TOKENS_FOLLOWING_T__26_IN_object_def_439 )
 
           tree_for_string_literal67 = @adaptor.create_with_payload( string_literal67 )
           @adaptor.add_child( root_0, tree_for_string_literal67 )
 
-          @state.following.push( TOKENS_FOLLOWING_path_IN_object_def_437 )
+          @state.following.push( TOKENS_FOLLOWING_path_IN_object_def_441 )
           path68 = path
           @state.following.pop
           @adaptor.add_child( root_0, path68.tree )
@@ -1714,18 +1720,18 @@ module SfpLang
           alt_27 = 2
           look_27_0 = @input.peek( 1 )
 
-          if ( look_27_0 == T__26 )
+          if ( look_27_0 == T__27 )
             alt_27 = 1
           end
           case alt_27
           when 1
             # at line 175:15: '[' NUMBER ']'
-            char_literal69 = match( T__26, TOKENS_FOLLOWING_T__26_IN_object_def_439 )
+            char_literal69 = match( T__27, TOKENS_FOLLOWING_T__27_IN_object_def_443 )
 
             tree_for_char_literal69 = @adaptor.create_with_payload( char_literal69 )
             @adaptor.add_child( root_0, tree_for_char_literal69 )
 
-            __NUMBER70__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_object_def_441 )
+            __NUMBER70__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_object_def_445 )
 
             tree_for_NUMBER70 = @adaptor.create_with_payload( __NUMBER70__ )
             @adaptor.add_child( root_0, tree_for_NUMBER70 )
@@ -1733,7 +1739,7 @@ module SfpLang
             # --> action
              @now['_is_array'] = true 
             # <-- action
-            char_literal71 = match( T__27, TOKENS_FOLLOWING_T__27_IN_object_def_445 )
+            char_literal71 = match( T__28, TOKENS_FOLLOWING_T__28_IN_object_def_449 )
 
             tree_for_char_literal71 = @adaptor.create_with_payload( char_literal71 )
             @adaptor.add_child( root_0, tree_for_char_literal71 )
@@ -1758,7 +1764,7 @@ module SfpLang
         case alt_29
         when 1
           # at line 181:3: object_body
-          @state.following.push( TOKENS_FOLLOWING_object_body_IN_object_def_460 )
+          @state.following.push( TOKENS_FOLLOWING_object_body_IN_object_def_464 )
           object_body72 = object_body
           @state.following.pop
           @adaptor.add_child( root_0, object_body72.tree )
@@ -1837,7 +1843,7 @@ module SfpLang
 
 
         # at line 202:4: '{' ( NL )* ( object_attribute | state_dependency | operator )* '}'
-        char_literal73 = match( T__20, TOKENS_FOLLOWING_T__20_IN_object_body_476 )
+        char_literal73 = match( T__20, TOKENS_FOLLOWING_T__20_IN_object_body_480 )
 
         tree_for_char_literal73 = @adaptor.create_with_payload( char_literal73 )
         @adaptor.add_child( root_0, tree_for_char_literal73 )
@@ -1854,7 +1860,7 @@ module SfpLang
           case alt_30
           when 1
             # at line 202:8: NL
-            __NL74__ = match( NL, TOKENS_FOLLOWING_NL_IN_object_body_478 )
+            __NL74__ = match( NL, TOKENS_FOLLOWING_NL_IN_object_body_482 )
 
             tree_for_NL74 = @adaptor.create_with_payload( __NL74__ )
             @adaptor.add_child( root_0, tree_for_NL74 )
@@ -1869,27 +1875,27 @@ module SfpLang
           alt_31 = 4
           case look_31 = @input.peek( 1 )
           when ID then alt_31 = 1
-          when T__28 then alt_31 = 2
-          when T__31 then alt_31 = 3
+          when T__29 then alt_31 = 2
+          when T__32 then alt_31 = 3
           end
           case alt_31
           when 1
             # at line 202:14: object_attribute
-            @state.following.push( TOKENS_FOLLOWING_object_attribute_IN_object_body_483 )
+            @state.following.push( TOKENS_FOLLOWING_object_attribute_IN_object_body_487 )
             object_attribute75 = object_attribute
             @state.following.pop
             @adaptor.add_child( root_0, object_attribute75.tree )
 
           when 2
             # at line 202:33: state_dependency
-            @state.following.push( TOKENS_FOLLOWING_state_dependency_IN_object_body_487 )
+            @state.following.push( TOKENS_FOLLOWING_state_dependency_IN_object_body_491 )
             state_dependency76 = state_dependency
             @state.following.pop
             @adaptor.add_child( root_0, state_dependency76.tree )
 
           when 3
             # at line 202:52: operator
-            @state.following.push( TOKENS_FOLLOWING_operator_IN_object_body_491 )
+            @state.following.push( TOKENS_FOLLOWING_operator_IN_object_body_495 )
             operator77 = operator
             @state.following.pop
             @adaptor.add_child( root_0, operator77.tree )
@@ -1898,7 +1904,7 @@ module SfpLang
             break # out of loop for decision 31
           end
         end # loop for decision 31
-        char_literal78 = match( T__21, TOKENS_FOLLOWING_T__21_IN_object_body_496 )
+        char_literal78 = match( T__21, TOKENS_FOLLOWING_T__21_IN_object_body_500 )
 
         tree_for_char_literal78 = @adaptor.create_with_payload( char_literal78 )
         @adaptor.add_child( root_0, tree_for_char_literal78 )
@@ -1959,17 +1965,17 @@ module SfpLang
         if ( look_33_0 == ID )
           look_33_1 = @input.peek( 2 )
 
-          if ( look_33_1 == T__55 || look_33_1 == T__58 )
+          if ( look_33_1 == T__56 || look_33_1 == T__59 )
             look_33_2 = @input.peek( 3 )
 
-            if ( look_33_2.between?( STRING, MULTILINE_STRING ) || look_33_2 == T__37 )
+            if ( look_33_2.between?( STRING, MULTILINE_STRING ) || look_33_2 == T__38 )
               alt_33 = 1
             elsif ( look_33_2 == NULL )
               alt_33 = 2
             else
               raise NoViableAlternative( "", 33, 2 )
             end
-          elsif ( look_33_1 == NL || look_33_1 == T__20 || look_33_1 == T__25 || look_33_1 == T__41 || look_33_1.between?( T__69, T__70 ) )
+          elsif ( look_33_1 == NL || look_33_1 == T__20 || look_33_1 == T__26 || look_33_1 == T__42 || look_33_1.between?( T__70, T__71 ) )
             alt_33 = 1
           else
             raise NoViableAlternative( "", 33, 1 )
@@ -1983,7 +1989,7 @@ module SfpLang
 
 
           # at line 206:4: attribute
-          @state.following.push( TOKENS_FOLLOWING_attribute_IN_object_attribute_507 )
+          @state.following.push( TOKENS_FOLLOWING_attribute_IN_object_attribute_511 )
           attribute79 = attribute
           @state.following.pop
           @adaptor.add_child( root_0, attribute79.tree )
@@ -1993,16 +1999,16 @@ module SfpLang
 
 
           # at line 207:4: ID equals_op NULL ( NL )+
-          __ID80__ = match( ID, TOKENS_FOLLOWING_ID_IN_object_attribute_512 )
+          __ID80__ = match( ID, TOKENS_FOLLOWING_ID_IN_object_attribute_516 )
 
           tree_for_ID80 = @adaptor.create_with_payload( __ID80__ )
           @adaptor.add_child( root_0, tree_for_ID80 )
 
-          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_object_attribute_514 )
+          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_object_attribute_518 )
           equals_op81 = equals_op
           @state.following.pop
           @adaptor.add_child( root_0, equals_op81.tree )
-          __NULL82__ = match( NULL, TOKENS_FOLLOWING_NULL_IN_object_attribute_516 )
+          __NULL82__ = match( NULL, TOKENS_FOLLOWING_NULL_IN_object_attribute_520 )
 
           tree_for_NULL82 = @adaptor.create_with_payload( __NULL82__ )
           @adaptor.add_child( root_0, tree_for_NULL82 )
@@ -2020,7 +2026,7 @@ module SfpLang
             case alt_32
             when 1
               # at line 207:22: NL
-              __NL83__ = match( NL, TOKENS_FOLLOWING_NL_IN_object_attribute_518 )
+              __NL83__ = match( NL, TOKENS_FOLLOWING_NL_IN_object_attribute_522 )
 
               tree_for_NL83 = @adaptor.create_with_payload( __NL83__ )
               @adaptor.add_child( root_0, tree_for_NL83 )
@@ -2116,12 +2122,12 @@ module SfpLang
 
 
         # at line 212:4: 'if' dep_effect ( NL )* 'then' ( NL )* '{' ( NL )* constraint_body '}' ( ( NL )* 'or' ( NL )* '{' ( NL )* constraint_body '}' )* ( NL )+
-        string_literal84 = match( T__28, TOKENS_FOLLOWING_T__28_IN_state_dependency_534 )
+        string_literal84 = match( T__29, TOKENS_FOLLOWING_T__29_IN_state_dependency_538 )
 
         tree_for_string_literal84 = @adaptor.create_with_payload( string_literal84 )
         @adaptor.add_child( root_0, tree_for_string_literal84 )
 
-        @state.following.push( TOKENS_FOLLOWING_dep_effect_IN_state_dependency_538 )
+        @state.following.push( TOKENS_FOLLOWING_dep_effect_IN_state_dependency_542 )
         dep_effect85 = dep_effect
         @state.following.pop
         @adaptor.add_child( root_0, dep_effect85.tree )
@@ -2137,7 +2143,7 @@ module SfpLang
           case alt_34
           when 1
             # at line 213:14: NL
-            __NL86__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_540 )
+            __NL86__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_544 )
 
             tree_for_NL86 = @adaptor.create_with_payload( __NL86__ )
             @adaptor.add_child( root_0, tree_for_NL86 )
@@ -2147,7 +2153,7 @@ module SfpLang
             break # out of loop for decision 34
           end
         end # loop for decision 34
-        string_literal87 = match( T__29, TOKENS_FOLLOWING_T__29_IN_state_dependency_543 )
+        string_literal87 = match( T__30, TOKENS_FOLLOWING_T__30_IN_state_dependency_547 )
 
         tree_for_string_literal87 = @adaptor.create_with_payload( string_literal87 )
         @adaptor.add_child( root_0, tree_for_string_literal87 )
@@ -2164,7 +2170,7 @@ module SfpLang
           case alt_35
           when 1
             # at line 213:25: NL
-            __NL88__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_545 )
+            __NL88__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_549 )
 
             tree_for_NL88 = @adaptor.create_with_payload( __NL88__ )
             @adaptor.add_child( root_0, tree_for_NL88 )
@@ -2174,7 +2180,7 @@ module SfpLang
             break # out of loop for decision 35
           end
         end # loop for decision 35
-        char_literal89 = match( T__20, TOKENS_FOLLOWING_T__20_IN_state_dependency_548 )
+        char_literal89 = match( T__20, TOKENS_FOLLOWING_T__20_IN_state_dependency_552 )
 
         tree_for_char_literal89 = @adaptor.create_with_payload( char_literal89 )
         @adaptor.add_child( root_0, tree_for_char_literal89 )
@@ -2191,7 +2197,7 @@ module SfpLang
           case alt_36
           when 1
             # at line 214:3: NL
-            __NL90__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_552 )
+            __NL90__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_556 )
 
             tree_for_NL90 = @adaptor.create_with_payload( __NL90__ )
             @adaptor.add_child( root_0, tree_for_NL90 )
@@ -2201,11 +2207,11 @@ module SfpLang
             break # out of loop for decision 36
           end
         end # loop for decision 36
-        @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_state_dependency_555 )
+        @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_state_dependency_559 )
         constraint_body91 = constraint_body
         @state.following.pop
         @adaptor.add_child( root_0, constraint_body91.tree )
-        char_literal92 = match( T__21, TOKENS_FOLLOWING_T__21_IN_state_dependency_560 )
+        char_literal92 = match( T__21, TOKENS_FOLLOWING_T__21_IN_state_dependency_564 )
 
         tree_for_char_literal92 = @adaptor.create_with_payload( char_literal92 )
         @adaptor.add_child( root_0, tree_for_char_literal92 )
@@ -2229,7 +2235,7 @@ module SfpLang
               case alt_37
               when 1
                 # at line 216:5: NL
-                __NL93__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_566 )
+                __NL93__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_570 )
 
                 tree_for_NL93 = @adaptor.create_with_payload( __NL93__ )
                 @adaptor.add_child( root_0, tree_for_NL93 )
@@ -2239,7 +2245,7 @@ module SfpLang
                 break # out of loop for decision 37
               end
             end # loop for decision 37
-            string_literal94 = match( T__30, TOKENS_FOLLOWING_T__30_IN_state_dependency_569 )
+            string_literal94 = match( T__31, TOKENS_FOLLOWING_T__31_IN_state_dependency_573 )
 
             tree_for_string_literal94 = @adaptor.create_with_payload( string_literal94 )
             @adaptor.add_child( root_0, tree_for_string_literal94 )
@@ -2256,7 +2262,7 @@ module SfpLang
               case alt_38
               when 1
                 # at line 216:14: NL
-                __NL95__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_571 )
+                __NL95__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_575 )
 
                 tree_for_NL95 = @adaptor.create_with_payload( __NL95__ )
                 @adaptor.add_child( root_0, tree_for_NL95 )
@@ -2266,7 +2272,7 @@ module SfpLang
                 break # out of loop for decision 38
               end
             end # loop for decision 38
-            char_literal96 = match( T__20, TOKENS_FOLLOWING_T__20_IN_state_dependency_574 )
+            char_literal96 = match( T__20, TOKENS_FOLLOWING_T__20_IN_state_dependency_578 )
 
             tree_for_char_literal96 = @adaptor.create_with_payload( char_literal96 )
             @adaptor.add_child( root_0, tree_for_char_literal96 )
@@ -2283,7 +2289,7 @@ module SfpLang
               case alt_39
               when 1
                 # at line 217:3: NL
-                __NL97__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_578 )
+                __NL97__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_582 )
 
                 tree_for_NL97 = @adaptor.create_with_payload( __NL97__ )
                 @adaptor.add_child( root_0, tree_for_NL97 )
@@ -2293,11 +2299,11 @@ module SfpLang
                 break # out of loop for decision 39
               end
             end # loop for decision 39
-            @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_state_dependency_581 )
+            @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_state_dependency_585 )
             constraint_body98 = constraint_body
             @state.following.pop
             @adaptor.add_child( root_0, constraint_body98.tree )
-            char_literal99 = match( T__21, TOKENS_FOLLOWING_T__21_IN_state_dependency_585 )
+            char_literal99 = match( T__21, TOKENS_FOLLOWING_T__21_IN_state_dependency_589 )
 
             tree_for_char_literal99 = @adaptor.create_with_payload( char_literal99 )
             @adaptor.add_child( root_0, tree_for_char_literal99 )
@@ -2320,7 +2326,7 @@ module SfpLang
           case alt_41
           when 1
             # at line 219:3: NL
-            __NL100__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_591 )
+            __NL100__ = match( NL, TOKENS_FOLLOWING_NL_IN_state_dependency_595 )
 
             tree_for_NL100 = @adaptor.create_with_payload( __NL100__ )
             @adaptor.add_child( root_0, tree_for_NL100 )
@@ -2386,11 +2392,11 @@ module SfpLang
 
 
         # at line 223:4: reference equals_op ( value | NULL )
-        @state.following.push( TOKENS_FOLLOWING_reference_IN_dep_effect_603 )
+        @state.following.push( TOKENS_FOLLOWING_reference_IN_dep_effect_607 )
         reference101 = reference
         @state.following.pop
         @adaptor.add_child( root_0, reference101.tree )
-        @state.following.push( TOKENS_FOLLOWING_equals_op_IN_dep_effect_605 )
+        @state.following.push( TOKENS_FOLLOWING_equals_op_IN_dep_effect_609 )
         equals_op102 = equals_op
         @state.following.pop
         @adaptor.add_child( root_0, equals_op102.tree )
@@ -2398,7 +2404,7 @@ module SfpLang
         alt_42 = 2
         look_42_0 = @input.peek( 1 )
 
-        if ( look_42_0.between?( STRING, MULTILINE_STRING ) || look_42_0 == T__37 )
+        if ( look_42_0.between?( STRING, MULTILINE_STRING ) || look_42_0 == T__38 )
           alt_42 = 1
         elsif ( look_42_0 == NULL )
           alt_42 = 2
@@ -2408,14 +2414,14 @@ module SfpLang
         case alt_42
         when 1
           # at line 224:5: value
-          @state.following.push( TOKENS_FOLLOWING_value_IN_dep_effect_612 )
+          @state.following.push( TOKENS_FOLLOWING_value_IN_dep_effect_616 )
           value103 = value
           @state.following.pop
           @adaptor.add_child( root_0, value103.tree )
 
         when 2
           # at line 225:5: NULL
-          __NULL104__ = match( NULL, TOKENS_FOLLOWING_NULL_IN_dep_effect_618 )
+          __NULL104__ = match( NULL, TOKENS_FOLLOWING_NULL_IN_dep_effect_622 )
 
           tree_for_NULL104 = @adaptor.create_with_payload( __NULL104__ )
           @adaptor.add_child( root_0, tree_for_NULL104 )
@@ -2488,17 +2494,17 @@ module SfpLang
 
 
         # at line 230:4: 'operator' ID '{' ( NL )* ( 'cost' equals_op NUMBER ( NL )+ )? ( op_conditions )? op_effects '}' ( NL )+
-        string_literal105 = match( T__31, TOKENS_FOLLOWING_T__31_IN_operator_634 )
+        string_literal105 = match( T__32, TOKENS_FOLLOWING_T__32_IN_operator_638 )
 
         tree_for_string_literal105 = @adaptor.create_with_payload( string_literal105 )
         @adaptor.add_child( root_0, tree_for_string_literal105 )
 
-        __ID106__ = match( ID, TOKENS_FOLLOWING_ID_IN_operator_636 )
+        __ID106__ = match( ID, TOKENS_FOLLOWING_ID_IN_operator_640 )
 
         tree_for_ID106 = @adaptor.create_with_payload( __ID106__ )
         @adaptor.add_child( root_0, tree_for_ID106 )
 
-        char_literal107 = match( T__20, TOKENS_FOLLOWING_T__20_IN_operator_638 )
+        char_literal107 = match( T__20, TOKENS_FOLLOWING_T__20_IN_operator_642 )
 
         tree_for_char_literal107 = @adaptor.create_with_payload( char_literal107 )
         @adaptor.add_child( root_0, tree_for_char_literal107 )
@@ -2515,7 +2521,7 @@ module SfpLang
           case alt_43
           when 1
             # at line 230:22: NL
-            __NL108__ = match( NL, TOKENS_FOLLOWING_NL_IN_operator_640 )
+            __NL108__ = match( NL, TOKENS_FOLLOWING_NL_IN_operator_644 )
 
             tree_for_NL108 = @adaptor.create_with_payload( __NL108__ )
             @adaptor.add_child( root_0, tree_for_NL108 )
@@ -2541,22 +2547,22 @@ module SfpLang
         alt_45 = 2
         look_45_0 = @input.peek( 1 )
 
-        if ( look_45_0 == T__32 )
+        if ( look_45_0 == T__33 )
           alt_45 = 1
         end
         case alt_45
         when 1
           # at line 241:5: 'cost' equals_op NUMBER ( NL )+
-          string_literal109 = match( T__32, TOKENS_FOLLOWING_T__32_IN_operator_651 )
+          string_literal109 = match( T__33, TOKENS_FOLLOWING_T__33_IN_operator_655 )
 
           tree_for_string_literal109 = @adaptor.create_with_payload( string_literal109 )
           @adaptor.add_child( root_0, tree_for_string_literal109 )
 
-          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_operator_653 )
+          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_operator_657 )
           equals_op110 = equals_op
           @state.following.pop
           @adaptor.add_child( root_0, equals_op110.tree )
-          __NUMBER111__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_operator_655 )
+          __NUMBER111__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_operator_659 )
 
           tree_for_NUMBER111 = @adaptor.create_with_payload( __NUMBER111__ )
           @adaptor.add_child( root_0, tree_for_NUMBER111 )
@@ -2574,7 +2580,7 @@ module SfpLang
             case alt_44
             when 1
               # at line 241:29: NL
-              __NL112__ = match( NL, TOKENS_FOLLOWING_NL_IN_operator_657 )
+              __NL112__ = match( NL, TOKENS_FOLLOWING_NL_IN_operator_661 )
 
               tree_for_NL112 = @adaptor.create_with_payload( __NL112__ )
               @adaptor.add_child( root_0, tree_for_NL112 )
@@ -2599,23 +2605,23 @@ module SfpLang
         alt_46 = 2
         look_46_0 = @input.peek( 1 )
 
-        if ( look_46_0.between?( T__33, T__34 ) )
+        if ( look_46_0.between?( T__34, T__35 ) )
           alt_46 = 1
         end
         case alt_46
         when 1
           # at line 245:3: op_conditions
-          @state.following.push( TOKENS_FOLLOWING_op_conditions_IN_operator_676 )
+          @state.following.push( TOKENS_FOLLOWING_op_conditions_IN_operator_680 )
           op_conditions113 = op_conditions
           @state.following.pop
           @adaptor.add_child( root_0, op_conditions113.tree )
 
         end
-        @state.following.push( TOKENS_FOLLOWING_op_effects_IN_operator_679 )
+        @state.following.push( TOKENS_FOLLOWING_op_effects_IN_operator_683 )
         op_effects114 = op_effects
         @state.following.pop
         @adaptor.add_child( root_0, op_effects114.tree )
-        char_literal115 = match( T__21, TOKENS_FOLLOWING_T__21_IN_operator_683 )
+        char_literal115 = match( T__21, TOKENS_FOLLOWING_T__21_IN_operator_687 )
 
         tree_for_char_literal115 = @adaptor.create_with_payload( char_literal115 )
         @adaptor.add_child( root_0, tree_for_char_literal115 )
@@ -2633,7 +2639,7 @@ module SfpLang
           case alt_47
           when 1
             # at line 246:7: NL
-            __NL116__ = match( NL, TOKENS_FOLLOWING_NL_IN_operator_685 )
+            __NL116__ = match( NL, TOKENS_FOLLOWING_NL_IN_operator_689 )
 
             tree_for_NL116 = @adaptor.create_with_payload( __NL116__ )
             @adaptor.add_child( root_0, tree_for_NL116 )
@@ -2703,16 +2709,16 @@ module SfpLang
 
 
         # at line 251:4: ID equals_op reference ( NL )+
-        __ID117__ = match( ID, TOKENS_FOLLOWING_ID_IN_op_param_701 )
+        __ID117__ = match( ID, TOKENS_FOLLOWING_ID_IN_op_param_705 )
 
         tree_for_ID117 = @adaptor.create_with_payload( __ID117__ )
         @adaptor.add_child( root_0, tree_for_ID117 )
 
-        @state.following.push( TOKENS_FOLLOWING_equals_op_IN_op_param_703 )
+        @state.following.push( TOKENS_FOLLOWING_equals_op_IN_op_param_707 )
         equals_op118 = equals_op
         @state.following.pop
         @adaptor.add_child( root_0, equals_op118.tree )
-        @state.following.push( TOKENS_FOLLOWING_reference_IN_op_param_705 )
+        @state.following.push( TOKENS_FOLLOWING_reference_IN_op_param_709 )
         reference119 = reference
         @state.following.pop
         @adaptor.add_child( root_0, reference119.tree )
@@ -2729,7 +2735,7 @@ module SfpLang
           case alt_48
           when 1
             # at line 251:27: NL
-            __NL120__ = match( NL, TOKENS_FOLLOWING_NL_IN_op_param_707 )
+            __NL120__ = match( NL, TOKENS_FOLLOWING_NL_IN_op_param_711 )
 
             tree_for_NL120 = @adaptor.create_with_payload( __NL120__ )
             @adaptor.add_child( root_0, tree_for_NL120 )
@@ -2805,7 +2811,7 @@ module SfpLang
 
         # at line 256:4: ( 'conditions' | 'condition' ) '{' ( NL )* ( op_statement )* '}' ( NL )+
         set121 = @input.look
-        if @input.peek( 1 ).between?( T__33, T__34 )
+        if @input.peek( 1 ).between?( T__34, T__35 )
           @input.consume
           @adaptor.add_child( root_0, @adaptor.create_with_payload( set121 ) )
           @state.error_recovery = false
@@ -2815,7 +2821,7 @@ module SfpLang
         end
 
 
-        char_literal122 = match( T__20, TOKENS_FOLLOWING_T__20_IN_op_conditions_731 )
+        char_literal122 = match( T__20, TOKENS_FOLLOWING_T__20_IN_op_conditions_735 )
 
         tree_for_char_literal122 = @adaptor.create_with_payload( char_literal122 )
         @adaptor.add_child( root_0, tree_for_char_literal122 )
@@ -2832,7 +2838,7 @@ module SfpLang
           case alt_49
           when 1
             # at line 256:37: NL
-            __NL123__ = match( NL, TOKENS_FOLLOWING_NL_IN_op_conditions_733 )
+            __NL123__ = match( NL, TOKENS_FOLLOWING_NL_IN_op_conditions_737 )
 
             tree_for_NL123 = @adaptor.create_with_payload( __NL123__ )
             @adaptor.add_child( root_0, tree_for_NL123 )
@@ -2860,7 +2866,7 @@ module SfpLang
           case alt_50
           when 1
             # at line 261:3: op_statement
-            @state.following.push( TOKENS_FOLLOWING_op_statement_IN_op_conditions_742 )
+            @state.following.push( TOKENS_FOLLOWING_op_statement_IN_op_conditions_746 )
             op_statement124 = op_statement
             @state.following.pop
             @adaptor.add_child( root_0, op_statement124.tree )
@@ -2869,7 +2875,7 @@ module SfpLang
             break # out of loop for decision 50
           end
         end # loop for decision 50
-        char_literal125 = match( T__21, TOKENS_FOLLOWING_T__21_IN_op_conditions_747 )
+        char_literal125 = match( T__21, TOKENS_FOLLOWING_T__21_IN_op_conditions_751 )
 
         tree_for_char_literal125 = @adaptor.create_with_payload( char_literal125 )
         @adaptor.add_child( root_0, tree_for_char_literal125 )
@@ -2887,7 +2893,7 @@ module SfpLang
           case alt_51
           when 1
             # at line 262:7: NL
-            __NL126__ = match( NL, TOKENS_FOLLOWING_NL_IN_op_conditions_749 )
+            __NL126__ = match( NL, TOKENS_FOLLOWING_NL_IN_op_conditions_753 )
 
             tree_for_NL126 = @adaptor.create_with_payload( __NL126__ )
             @adaptor.add_child( root_0, tree_for_NL126 )
@@ -2962,12 +2968,12 @@ module SfpLang
 
 
         # at line 267:4: 'effects' '{' ( NL )* ( op_statement )* '}' ( NL )+
-        string_literal127 = match( T__35, TOKENS_FOLLOWING_T__35_IN_op_effects_765 )
+        string_literal127 = match( T__36, TOKENS_FOLLOWING_T__36_IN_op_effects_769 )
 
         tree_for_string_literal127 = @adaptor.create_with_payload( string_literal127 )
         @adaptor.add_child( root_0, tree_for_string_literal127 )
 
-        char_literal128 = match( T__20, TOKENS_FOLLOWING_T__20_IN_op_effects_767 )
+        char_literal128 = match( T__20, TOKENS_FOLLOWING_T__20_IN_op_effects_771 )
 
         tree_for_char_literal128 = @adaptor.create_with_payload( char_literal128 )
         @adaptor.add_child( root_0, tree_for_char_literal128 )
@@ -2984,7 +2990,7 @@ module SfpLang
           case alt_52
           when 1
             # at line 267:18: NL
-            __NL129__ = match( NL, TOKENS_FOLLOWING_NL_IN_op_effects_769 )
+            __NL129__ = match( NL, TOKENS_FOLLOWING_NL_IN_op_effects_773 )
 
             tree_for_NL129 = @adaptor.create_with_payload( __NL129__ )
             @adaptor.add_child( root_0, tree_for_NL129 )
@@ -3012,7 +3018,7 @@ module SfpLang
           case alt_53
           when 1
             # at line 272:3: op_statement
-            @state.following.push( TOKENS_FOLLOWING_op_statement_IN_op_effects_778 )
+            @state.following.push( TOKENS_FOLLOWING_op_statement_IN_op_effects_782 )
             op_statement130 = op_statement
             @state.following.pop
             @adaptor.add_child( root_0, op_statement130.tree )
@@ -3021,7 +3027,7 @@ module SfpLang
             break # out of loop for decision 53
           end
         end # loop for decision 53
-        char_literal131 = match( T__21, TOKENS_FOLLOWING_T__21_IN_op_effects_783 )
+        char_literal131 = match( T__21, TOKENS_FOLLOWING_T__21_IN_op_effects_787 )
 
         tree_for_char_literal131 = @adaptor.create_with_payload( char_literal131 )
         @adaptor.add_child( root_0, tree_for_char_literal131 )
@@ -3039,7 +3045,7 @@ module SfpLang
           case alt_54
           when 1
             # at line 273:7: NL
-            __NL132__ = match( NL, TOKENS_FOLLOWING_NL_IN_op_effects_785 )
+            __NL132__ = match( NL, TOKENS_FOLLOWING_NL_IN_op_effects_789 )
 
             tree_for_NL132 = @adaptor.create_with_payload( __NL132__ )
             @adaptor.add_child( root_0, tree_for_NL132 )
@@ -3108,15 +3114,15 @@ module SfpLang
 
 
         # at line 278:4: reference equals_op value ( NL )+
-        @state.following.push( TOKENS_FOLLOWING_reference_IN_op_statement_801 )
+        @state.following.push( TOKENS_FOLLOWING_reference_IN_op_statement_805 )
         reference133 = reference
         @state.following.pop
         @adaptor.add_child( root_0, reference133.tree )
-        @state.following.push( TOKENS_FOLLOWING_equals_op_IN_op_statement_803 )
+        @state.following.push( TOKENS_FOLLOWING_equals_op_IN_op_statement_807 )
         equals_op134 = equals_op
         @state.following.pop
         @adaptor.add_child( root_0, equals_op134.tree )
-        @state.following.push( TOKENS_FOLLOWING_value_IN_op_statement_805 )
+        @state.following.push( TOKENS_FOLLOWING_value_IN_op_statement_809 )
         value135 = value
         @state.following.pop
         @adaptor.add_child( root_0, value135.tree )
@@ -3133,7 +3139,7 @@ module SfpLang
           case alt_55
           when 1
             # at line 278:30: NL
-            __NL136__ = match( NL, TOKENS_FOLLOWING_NL_IN_op_statement_807 )
+            __NL136__ = match( NL, TOKENS_FOLLOWING_NL_IN_op_statement_811 )
 
             tree_for_NL136 = @adaptor.create_with_payload( __NL136__ )
             @adaptor.add_child( root_0, tree_for_NL136 )
@@ -3219,12 +3225,12 @@ module SfpLang
 
 
         # at line 283:4: 'procedure' ID ( parameters )? '{' ( NL )* ( 'cost' equals_op NUMBER ( NL )+ )? ( conditions )? effects '}' ( NL )+
-        string_literal137 = match( T__36, TOKENS_FOLLOWING_T__36_IN_procedure_823 )
+        string_literal137 = match( T__37, TOKENS_FOLLOWING_T__37_IN_procedure_827 )
 
         tree_for_string_literal137 = @adaptor.create_with_payload( string_literal137 )
         @adaptor.add_child( root_0, tree_for_string_literal137 )
 
-        __ID138__ = match( ID, TOKENS_FOLLOWING_ID_IN_procedure_825 )
+        __ID138__ = match( ID, TOKENS_FOLLOWING_ID_IN_procedure_829 )
 
         tree_for_ID138 = @adaptor.create_with_payload( __ID138__ )
         @adaptor.add_child( root_0, tree_for_ID138 )
@@ -3245,19 +3251,19 @@ module SfpLang
         alt_56 = 2
         look_56_0 = @input.peek( 1 )
 
-        if ( look_56_0 == T__37 )
+        if ( look_56_0 == T__38 )
           alt_56 = 1
         end
         case alt_56
         when 1
           # at line 294:3: parameters
-          @state.following.push( TOKENS_FOLLOWING_parameters_IN_procedure_833 )
+          @state.following.push( TOKENS_FOLLOWING_parameters_IN_procedure_837 )
           parameters139 = parameters
           @state.following.pop
           @adaptor.add_child( root_0, parameters139.tree )
 
         end
-        char_literal140 = match( T__20, TOKENS_FOLLOWING_T__20_IN_procedure_836 )
+        char_literal140 = match( T__20, TOKENS_FOLLOWING_T__20_IN_procedure_840 )
 
         tree_for_char_literal140 = @adaptor.create_with_payload( char_literal140 )
         @adaptor.add_child( root_0, tree_for_char_literal140 )
@@ -3274,7 +3280,7 @@ module SfpLang
           case alt_57
           when 1
             # at line 294:19: NL
-            __NL141__ = match( NL, TOKENS_FOLLOWING_NL_IN_procedure_838 )
+            __NL141__ = match( NL, TOKENS_FOLLOWING_NL_IN_procedure_842 )
 
             tree_for_NL141 = @adaptor.create_with_payload( __NL141__ )
             @adaptor.add_child( root_0, tree_for_NL141 )
@@ -3288,22 +3294,22 @@ module SfpLang
         alt_59 = 2
         look_59_0 = @input.peek( 1 )
 
-        if ( look_59_0 == T__32 )
+        if ( look_59_0 == T__33 )
           alt_59 = 1
         end
         case alt_59
         when 1
           # at line 295:5: 'cost' equals_op NUMBER ( NL )+
-          string_literal142 = match( T__32, TOKENS_FOLLOWING_T__32_IN_procedure_846 )
+          string_literal142 = match( T__33, TOKENS_FOLLOWING_T__33_IN_procedure_850 )
 
           tree_for_string_literal142 = @adaptor.create_with_payload( string_literal142 )
           @adaptor.add_child( root_0, tree_for_string_literal142 )
 
-          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_procedure_848 )
+          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_procedure_852 )
           equals_op143 = equals_op
           @state.following.pop
           @adaptor.add_child( root_0, equals_op143.tree )
-          __NUMBER144__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_procedure_850 )
+          __NUMBER144__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_procedure_854 )
 
           tree_for_NUMBER144 = @adaptor.create_with_payload( __NUMBER144__ )
           @adaptor.add_child( root_0, tree_for_NUMBER144 )
@@ -3324,7 +3330,7 @@ module SfpLang
             case alt_58
             when 1
               # at line 297:4: NL
-              __NL145__ = match( NL, TOKENS_FOLLOWING_NL_IN_procedure_860 )
+              __NL145__ = match( NL, TOKENS_FOLLOWING_NL_IN_procedure_864 )
 
               tree_for_NL145 = @adaptor.create_with_payload( __NL145__ )
               @adaptor.add_child( root_0, tree_for_NL145 )
@@ -3346,23 +3352,23 @@ module SfpLang
         alt_60 = 2
         look_60_0 = @input.peek( 1 )
 
-        if ( look_60_0.between?( T__33, T__34 ) )
+        if ( look_60_0.between?( T__34, T__35 ) )
           alt_60 = 1
         end
         case alt_60
         when 1
           # at line 299:3: conditions
-          @state.following.push( TOKENS_FOLLOWING_conditions_IN_procedure_870 )
+          @state.following.push( TOKENS_FOLLOWING_conditions_IN_procedure_874 )
           conditions146 = conditions
           @state.following.pop
           @adaptor.add_child( root_0, conditions146.tree )
 
         end
-        @state.following.push( TOKENS_FOLLOWING_effects_IN_procedure_873 )
+        @state.following.push( TOKENS_FOLLOWING_effects_IN_procedure_877 )
         effects147 = effects
         @state.following.pop
         @adaptor.add_child( root_0, effects147.tree )
-        char_literal148 = match( T__21, TOKENS_FOLLOWING_T__21_IN_procedure_875 )
+        char_literal148 = match( T__21, TOKENS_FOLLOWING_T__21_IN_procedure_879 )
 
         tree_for_char_literal148 = @adaptor.create_with_payload( char_literal148 )
         @adaptor.add_child( root_0, tree_for_char_literal148 )
@@ -3380,7 +3386,7 @@ module SfpLang
           case alt_61
           when 1
             # at line 299:27: NL
-            __NL149__ = match( NL, TOKENS_FOLLOWING_NL_IN_procedure_877 )
+            __NL149__ = match( NL, TOKENS_FOLLOWING_NL_IN_procedure_881 )
 
             tree_for_NL149 = @adaptor.create_with_payload( __NL149__ )
             @adaptor.add_child( root_0, tree_for_NL149 )
@@ -3454,12 +3460,12 @@ module SfpLang
 
 
         # at line 304:4: '(' parameter ( ',' ( NL )* parameter )* ')'
-        char_literal150 = match( T__37, TOKENS_FOLLOWING_T__37_IN_parameters_893 )
+        char_literal150 = match( T__38, TOKENS_FOLLOWING_T__38_IN_parameters_897 )
 
         tree_for_char_literal150 = @adaptor.create_with_payload( char_literal150 )
         @adaptor.add_child( root_0, tree_for_char_literal150 )
 
-        @state.following.push( TOKENS_FOLLOWING_parameter_IN_parameters_895 )
+        @state.following.push( TOKENS_FOLLOWING_parameter_IN_parameters_899 )
         parameter151 = parameter
         @state.following.pop
         @adaptor.add_child( root_0, parameter151.tree )
@@ -3468,14 +3474,14 @@ module SfpLang
           alt_63 = 2
           look_63_0 = @input.peek( 1 )
 
-          if ( look_63_0 == T__38 )
+          if ( look_63_0 == T__39 )
             alt_63 = 1
 
           end
           case alt_63
           when 1
             # at line 304:19: ',' ( NL )* parameter
-            char_literal152 = match( T__38, TOKENS_FOLLOWING_T__38_IN_parameters_898 )
+            char_literal152 = match( T__39, TOKENS_FOLLOWING_T__39_IN_parameters_902 )
 
             tree_for_char_literal152 = @adaptor.create_with_payload( char_literal152 )
             @adaptor.add_child( root_0, tree_for_char_literal152 )
@@ -3492,7 +3498,7 @@ module SfpLang
               case alt_62
               when 1
                 # at line 304:23: NL
-                __NL153__ = match( NL, TOKENS_FOLLOWING_NL_IN_parameters_900 )
+                __NL153__ = match( NL, TOKENS_FOLLOWING_NL_IN_parameters_904 )
 
                 tree_for_NL153 = @adaptor.create_with_payload( __NL153__ )
                 @adaptor.add_child( root_0, tree_for_NL153 )
@@ -3502,7 +3508,7 @@ module SfpLang
                 break # out of loop for decision 62
               end
             end # loop for decision 62
-            @state.following.push( TOKENS_FOLLOWING_parameter_IN_parameters_903 )
+            @state.following.push( TOKENS_FOLLOWING_parameter_IN_parameters_907 )
             parameter154 = parameter
             @state.following.pop
             @adaptor.add_child( root_0, parameter154.tree )
@@ -3511,7 +3517,7 @@ module SfpLang
             break # out of loop for decision 63
           end
         end # loop for decision 63
-        char_literal155 = match( T__39, TOKENS_FOLLOWING_T__39_IN_parameters_907 )
+        char_literal155 = match( T__40, TOKENS_FOLLOWING_T__40_IN_parameters_911 )
 
         tree_for_char_literal155 = @adaptor.create_with_payload( char_literal155 )
         @adaptor.add_child( root_0, tree_for_char_literal155 )
@@ -3576,9 +3582,9 @@ module SfpLang
 
         if ( look_64_0 == ID )
           case look_64 = @input.peek( 2 )
-          when T__40 then alt_64 = 2
-          when T__41 then alt_64 = 3
-          when T__69 then alt_64 = 1
+          when T__41 then alt_64 = 2
+          when T__42 then alt_64 = 3
+          when T__70 then alt_64 = 1
           else
             raise NoViableAlternative( "", 64, 1 )
           end
@@ -3591,12 +3597,12 @@ module SfpLang
 
 
           # at line 308:4: ID reference_type
-          __ID156__ = match( ID, TOKENS_FOLLOWING_ID_IN_parameter_919 )
+          __ID156__ = match( ID, TOKENS_FOLLOWING_ID_IN_parameter_923 )
 
           tree_for_ID156 = @adaptor.create_with_payload( __ID156__ )
           @adaptor.add_child( root_0, tree_for_ID156 )
 
-          @state.following.push( TOKENS_FOLLOWING_reference_type_IN_parameter_921 )
+          @state.following.push( TOKENS_FOLLOWING_reference_type_IN_parameter_925 )
           reference_type157 = reference_type
           @state.following.pop
           @adaptor.add_child( root_0, reference_type157.tree )
@@ -3609,17 +3615,17 @@ module SfpLang
 
 
           # at line 310:4: ID 'areall' path
-          __ID158__ = match( ID, TOKENS_FOLLOWING_ID_IN_parameter_930 )
+          __ID158__ = match( ID, TOKENS_FOLLOWING_ID_IN_parameter_934 )
 
           tree_for_ID158 = @adaptor.create_with_payload( __ID158__ )
           @adaptor.add_child( root_0, tree_for_ID158 )
 
-          string_literal159 = match( T__40, TOKENS_FOLLOWING_T__40_IN_parameter_932 )
+          string_literal159 = match( T__41, TOKENS_FOLLOWING_T__41_IN_parameter_936 )
 
           tree_for_string_literal159 = @adaptor.create_with_payload( string_literal159 )
           @adaptor.add_child( root_0, tree_for_string_literal159 )
 
-          @state.following.push( TOKENS_FOLLOWING_path_IN_parameter_934 )
+          @state.following.push( TOKENS_FOLLOWING_path_IN_parameter_938 )
           path160 = path
           @state.following.pop
           @adaptor.add_child( root_0, path160.tree )
@@ -3637,17 +3643,17 @@ module SfpLang
 
 
           # at line 317:4: ID 'isset' path
-          __ID161__ = match( ID, TOKENS_FOLLOWING_ID_IN_parameter_943 )
+          __ID161__ = match( ID, TOKENS_FOLLOWING_ID_IN_parameter_947 )
 
           tree_for_ID161 = @adaptor.create_with_payload( __ID161__ )
           @adaptor.add_child( root_0, tree_for_ID161 )
 
-          string_literal162 = match( T__41, TOKENS_FOLLOWING_T__41_IN_parameter_945 )
+          string_literal162 = match( T__42, TOKENS_FOLLOWING_T__42_IN_parameter_949 )
 
           tree_for_string_literal162 = @adaptor.create_with_payload( string_literal162 )
           @adaptor.add_child( root_0, tree_for_string_literal162 )
 
-          @state.following.push( TOKENS_FOLLOWING_path_IN_parameter_947 )
+          @state.following.push( TOKENS_FOLLOWING_path_IN_parameter_951 )
           path163 = path
           @state.following.pop
           @adaptor.add_child( root_0, path163.tree )
@@ -3717,7 +3723,7 @@ module SfpLang
 
         # at line 327:4: ( 'conditions' | 'condition' ) '{' ( NL )* constraint_body '}' ( NL )+
         set164 = @input.look
-        if @input.peek( 1 ).between?( T__33, T__34 )
+        if @input.peek( 1 ).between?( T__34, T__35 )
           @input.consume
           @adaptor.add_child( root_0, @adaptor.create_with_payload( set164 ) )
           @state.error_recovery = false
@@ -3733,7 +3739,7 @@ module SfpLang
         			@now = @now['_condition']
         		
         # <-- action
-        char_literal165 = match( T__20, TOKENS_FOLLOWING_T__20_IN_conditions_976 )
+        char_literal165 = match( T__20, TOKENS_FOLLOWING_T__20_IN_conditions_980 )
 
         tree_for_char_literal165 = @adaptor.create_with_payload( char_literal165 )
         @adaptor.add_child( root_0, tree_for_char_literal165 )
@@ -3750,7 +3756,7 @@ module SfpLang
           case alt_65
           when 1
             # at line 332:7: NL
-            __NL166__ = match( NL, TOKENS_FOLLOWING_NL_IN_conditions_978 )
+            __NL166__ = match( NL, TOKENS_FOLLOWING_NL_IN_conditions_982 )
 
             tree_for_NL166 = @adaptor.create_with_payload( __NL166__ )
             @adaptor.add_child( root_0, tree_for_NL166 )
@@ -3760,11 +3766,11 @@ module SfpLang
             break # out of loop for decision 65
           end
         end # loop for decision 65
-        @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_conditions_981 )
+        @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_conditions_985 )
         constraint_body167 = constraint_body
         @state.following.pop
         @adaptor.add_child( root_0, constraint_body167.tree )
-        char_literal168 = match( T__21, TOKENS_FOLLOWING_T__21_IN_conditions_983 )
+        char_literal168 = match( T__21, TOKENS_FOLLOWING_T__21_IN_conditions_987 )
 
         tree_for_char_literal168 = @adaptor.create_with_payload( char_literal168 )
         @adaptor.add_child( root_0, tree_for_char_literal168 )
@@ -3782,7 +3788,7 @@ module SfpLang
           case alt_66
           when 1
             # at line 332:31: NL
-            __NL169__ = match( NL, TOKENS_FOLLOWING_NL_IN_conditions_985 )
+            __NL169__ = match( NL, TOKENS_FOLLOWING_NL_IN_conditions_989 )
 
             tree_for_NL169 = @adaptor.create_with_payload( __NL169__ )
             @adaptor.add_child( root_0, tree_for_NL169 )
@@ -3858,7 +3864,7 @@ module SfpLang
 
         # at line 338:4: ( 'effects' | 'effect' ) '{' ( NL )* effect_body '}' ( NL )+
         set170 = @input.look
-        if @input.peek(1) == T__35 || @input.peek(1) == T__42
+        if @input.peek(1) == T__36 || @input.peek(1) == T__43
           @input.consume
           @adaptor.add_child( root_0, @adaptor.create_with_payload( set170 ) )
           @state.error_recovery = false
@@ -3875,7 +3881,7 @@ module SfpLang
         			@in_effects = true
         		
         # <-- action
-        char_literal171 = match( T__20, TOKENS_FOLLOWING_T__20_IN_effects_1016 )
+        char_literal171 = match( T__20, TOKENS_FOLLOWING_T__20_IN_effects_1020 )
 
         tree_for_char_literal171 = @adaptor.create_with_payload( char_literal171 )
         @adaptor.add_child( root_0, tree_for_char_literal171 )
@@ -3892,7 +3898,7 @@ module SfpLang
           case alt_67
           when 1
             # at line 344:7: NL
-            __NL172__ = match( NL, TOKENS_FOLLOWING_NL_IN_effects_1018 )
+            __NL172__ = match( NL, TOKENS_FOLLOWING_NL_IN_effects_1022 )
 
             tree_for_NL172 = @adaptor.create_with_payload( __NL172__ )
             @adaptor.add_child( root_0, tree_for_NL172 )
@@ -3902,11 +3908,11 @@ module SfpLang
             break # out of loop for decision 67
           end
         end # loop for decision 67
-        @state.following.push( TOKENS_FOLLOWING_effect_body_IN_effects_1024 )
+        @state.following.push( TOKENS_FOLLOWING_effect_body_IN_effects_1028 )
         effect_body173 = effect_body
         @state.following.pop
         @adaptor.add_child( root_0, effect_body173.tree )
-        char_literal174 = match( T__21, TOKENS_FOLLOWING_T__21_IN_effects_1029 )
+        char_literal174 = match( T__21, TOKENS_FOLLOWING_T__21_IN_effects_1033 )
 
         tree_for_char_literal174 = @adaptor.create_with_payload( char_literal174 )
         @adaptor.add_child( root_0, tree_for_char_literal174 )
@@ -3924,7 +3930,7 @@ module SfpLang
           case alt_68
           when 1
             # at line 346:7: NL
-            __NL175__ = match( NL, TOKENS_FOLLOWING_NL_IN_effects_1031 )
+            __NL175__ = match( NL, TOKENS_FOLLOWING_NL_IN_effects_1035 )
 
             tree_for_NL175 = @adaptor.create_with_payload( __NL175__ )
             @adaptor.add_child( root_0, tree_for_NL175 )
@@ -4006,7 +4012,7 @@ module SfpLang
 
 
         # at line 354:4: 'goal' ( 'constraint' )? ( NL )* '{' ( NL )* ( goal_body )* '}' ( NL )+
-        string_literal176 = match( T__43, TOKENS_FOLLOWING_T__43_IN_goal_constraint_1047 )
+        string_literal176 = match( T__44, TOKENS_FOLLOWING_T__44_IN_goal_constraint_1051 )
 
         tree_for_string_literal176 = @adaptor.create_with_payload( string_literal176 )
         @adaptor.add_child( root_0, tree_for_string_literal176 )
@@ -4015,13 +4021,13 @@ module SfpLang
         alt_69 = 2
         look_69_0 = @input.peek( 1 )
 
-        if ( look_69_0 == T__44 )
+        if ( look_69_0 == T__45 )
           alt_69 = 1
         end
         case alt_69
         when 1
           # at line 354:11: 'constraint'
-          string_literal177 = match( T__44, TOKENS_FOLLOWING_T__44_IN_goal_constraint_1049 )
+          string_literal177 = match( T__45, TOKENS_FOLLOWING_T__45_IN_goal_constraint_1053 )
 
           tree_for_string_literal177 = @adaptor.create_with_payload( string_literal177 )
           @adaptor.add_child( root_0, tree_for_string_literal177 )
@@ -4040,7 +4046,7 @@ module SfpLang
           case alt_70
           when 1
             # at line 354:25: NL
-            __NL178__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_constraint_1052 )
+            __NL178__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_constraint_1056 )
 
             tree_for_NL178 = @adaptor.create_with_payload( __NL178__ )
             @adaptor.add_child( root_0, tree_for_NL178 )
@@ -4060,7 +4066,7 @@ module SfpLang
         			@now = @now['goal']
         		
         # <-- action
-        char_literal179 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_constraint_1061 )
+        char_literal179 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_constraint_1065 )
 
         tree_for_char_literal179 = @adaptor.create_with_payload( char_literal179 )
         @adaptor.add_child( root_0, tree_for_char_literal179 )
@@ -4077,7 +4083,7 @@ module SfpLang
           case alt_71
           when 1
             # at line 363:7: NL
-            __NL180__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_constraint_1063 )
+            __NL180__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_constraint_1067 )
 
             tree_for_NL180 = @adaptor.create_with_payload( __NL180__ )
             @adaptor.add_child( root_0, tree_for_NL180 )
@@ -4092,14 +4098,14 @@ module SfpLang
           alt_72 = 2
           look_72_0 = @input.peek( 1 )
 
-          if ( look_72_0 == ID || look_72_0 == T__28 || look_72_0.between?( T__45, T__50 ) || look_72_0.between?( T__52, T__54 ) || look_72_0 == T__57 || look_72_0 == T__63 )
+          if ( look_72_0 == ID || look_72_0 == T__29 || look_72_0.between?( T__46, T__51 ) || look_72_0.between?( T__53, T__55 ) || look_72_0 == T__58 || look_72_0 == T__64 )
             alt_72 = 1
 
           end
           case alt_72
           when 1
             # at line 363:11: goal_body
-            @state.following.push( TOKENS_FOLLOWING_goal_body_IN_goal_constraint_1066 )
+            @state.following.push( TOKENS_FOLLOWING_goal_body_IN_goal_constraint_1070 )
             goal_body181 = goal_body
             @state.following.pop
             @adaptor.add_child( root_0, goal_body181.tree )
@@ -4108,7 +4114,7 @@ module SfpLang
             break # out of loop for decision 72
           end
         end # loop for decision 72
-        char_literal182 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_constraint_1069 )
+        char_literal182 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_constraint_1073 )
 
         tree_for_char_literal182 = @adaptor.create_with_payload( char_literal182 )
         @adaptor.add_child( root_0, tree_for_char_literal182 )
@@ -4126,7 +4132,7 @@ module SfpLang
           case alt_73
           when 1
             # at line 363:26: NL
-            __NL183__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_constraint_1071 )
+            __NL183__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_constraint_1075 )
 
             tree_for_NL183 = @adaptor.create_with_payload( __NL183__ )
             @adaptor.add_child( root_0, tree_for_NL183 )
@@ -4292,12 +4298,12 @@ module SfpLang
         # at line 368:2: ( ( ( constraint_statement | constraint_namespace | constraint_iterator | constraint_class_quantification ) ( NL )+ ) | 'always' ( NL )* '{' ( NL )* constraint_body '}' ( NL )+ | 'sometime' ( NL )* '{' ( NL )* constraint_body '}' ( NL )+ | 'within' NUMBER ( NL )* '{' ( NL )* constraint_body '}' ( NL )+ | 'after' ( NL )* '{' ( NL )* constraint_body '}' ( NL )* ( 'then' | 'within' NUMBER ) ( NL )* '{' ( NL )* constraint_body '}' ( NL )+ | 'before' ( NL )* '{' ( NL )* constraint_body '}' ( NL )* 'then' ( NL )* '{' ( NL )* constraint_body '}' ( NL )+ )
         alt_98 = 6
         case look_98 = @input.peek( 1 )
-        when ID, T__28, T__50, T__52, T__53, T__54, T__57, T__63 then alt_98 = 1
-        when T__45 then alt_98 = 2
-        when T__46 then alt_98 = 3
-        when T__47 then alt_98 = 4
-        when T__48 then alt_98 = 5
-        when T__49 then alt_98 = 6
+        when ID, T__29, T__51, T__53, T__54, T__55, T__58, T__64 then alt_98 = 1
+        when T__46 then alt_98 = 2
+        when T__47 then alt_98 = 3
+        when T__48 then alt_98 = 4
+        when T__49 then alt_98 = 5
+        when T__50 then alt_98 = 6
         else
           raise NoViableAlternative( "", 98, 0 )
         end
@@ -4315,7 +4321,7 @@ module SfpLang
           case alt_74
           when 1
             # at line 369:6: constraint_statement
-            @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_goal_body_1094 )
+            @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_goal_body_1098 )
             constraint_statement184 = constraint_statement
             @state.following.pop
             @adaptor.add_child( root_0, constraint_statement184.tree )
@@ -4327,21 +4333,21 @@ module SfpLang
 
           when 2
             # at line 373:6: constraint_namespace
-            @state.following.push( TOKENS_FOLLOWING_constraint_namespace_IN_goal_body_1107 )
+            @state.following.push( TOKENS_FOLLOWING_constraint_namespace_IN_goal_body_1111 )
             constraint_namespace185 = constraint_namespace
             @state.following.pop
             @adaptor.add_child( root_0, constraint_namespace185.tree )
 
           when 3
             # at line 374:6: constraint_iterator
-            @state.following.push( TOKENS_FOLLOWING_constraint_iterator_IN_goal_body_1114 )
+            @state.following.push( TOKENS_FOLLOWING_constraint_iterator_IN_goal_body_1118 )
             constraint_iterator186 = constraint_iterator
             @state.following.pop
             @adaptor.add_child( root_0, constraint_iterator186.tree )
 
           when 4
             # at line 375:6: constraint_class_quantification
-            @state.following.push( TOKENS_FOLLOWING_constraint_class_quantification_IN_goal_body_1121 )
+            @state.following.push( TOKENS_FOLLOWING_constraint_class_quantification_IN_goal_body_1125 )
             constraint_class_quantification187 = constraint_class_quantification
             @state.following.pop
             @adaptor.add_child( root_0, constraint_class_quantification187.tree )
@@ -4360,7 +4366,7 @@ module SfpLang
             case alt_75
             when 1
               # at line 377:3: NL
-              __NL188__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1130 )
+              __NL188__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1134 )
 
               tree_for_NL188 = @adaptor.create_with_payload( __NL188__ )
               @adaptor.add_child( root_0, tree_for_NL188 )
@@ -4383,7 +4389,7 @@ module SfpLang
 
 
           # at line 378:4: 'always' ( NL )* '{' ( NL )* constraint_body '}' ( NL )+
-          string_literal189 = match( T__45, TOKENS_FOLLOWING_T__45_IN_goal_body_1137 )
+          string_literal189 = match( T__46, TOKENS_FOLLOWING_T__46_IN_goal_body_1141 )
 
           tree_for_string_literal189 = @adaptor.create_with_payload( string_literal189 )
           @adaptor.add_child( root_0, tree_for_string_literal189 )
@@ -4400,7 +4406,7 @@ module SfpLang
             case alt_76
             when 1
               # at line 378:13: NL
-              __NL190__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1139 )
+              __NL190__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1143 )
 
               tree_for_NL190 = @adaptor.create_with_payload( __NL190__ )
               @adaptor.add_child( root_0, tree_for_NL190 )
@@ -4417,7 +4423,7 @@ module SfpLang
           			@now = @now['always']
           		
           # <-- action
-          char_literal191 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1148 )
+          char_literal191 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1152 )
 
           tree_for_char_literal191 = @adaptor.create_with_payload( char_literal191 )
           @adaptor.add_child( root_0, tree_for_char_literal191 )
@@ -4434,7 +4440,7 @@ module SfpLang
             case alt_77
             when 1
               # at line 384:7: NL
-              __NL192__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1150 )
+              __NL192__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1154 )
 
               tree_for_NL192 = @adaptor.create_with_payload( __NL192__ )
               @adaptor.add_child( root_0, tree_for_NL192 )
@@ -4444,11 +4450,11 @@ module SfpLang
               break # out of loop for decision 77
             end
           end # loop for decision 77
-          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1153 )
+          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1157 )
           constraint_body193 = constraint_body
           @state.following.pop
           @adaptor.add_child( root_0, constraint_body193.tree )
-          char_literal194 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1155 )
+          char_literal194 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1159 )
 
           tree_for_char_literal194 = @adaptor.create_with_payload( char_literal194 )
           @adaptor.add_child( root_0, tree_for_char_literal194 )
@@ -4466,7 +4472,7 @@ module SfpLang
             case alt_78
             when 1
               # at line 384:31: NL
-              __NL195__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1157 )
+              __NL195__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1161 )
 
               tree_for_NL195 = @adaptor.create_with_payload( __NL195__ )
               @adaptor.add_child( root_0, tree_for_NL195 )
@@ -4491,7 +4497,7 @@ module SfpLang
 
 
           # at line 386:4: 'sometime' ( NL )* '{' ( NL )* constraint_body '}' ( NL )+
-          string_literal196 = match( T__46, TOKENS_FOLLOWING_T__46_IN_goal_body_1167 )
+          string_literal196 = match( T__47, TOKENS_FOLLOWING_T__47_IN_goal_body_1171 )
 
           tree_for_string_literal196 = @adaptor.create_with_payload( string_literal196 )
           @adaptor.add_child( root_0, tree_for_string_literal196 )
@@ -4508,7 +4514,7 @@ module SfpLang
             case alt_79
             when 1
               # at line 386:15: NL
-              __NL197__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1169 )
+              __NL197__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1173 )
 
               tree_for_NL197 = @adaptor.create_with_payload( __NL197__ )
               @adaptor.add_child( root_0, tree_for_NL197 )
@@ -4528,7 +4534,7 @@ module SfpLang
           			@now = @now[id]
           		
           # <-- action
-          char_literal198 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1178 )
+          char_literal198 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1182 )
 
           tree_for_char_literal198 = @adaptor.create_with_payload( char_literal198 )
           @adaptor.add_child( root_0, tree_for_char_literal198 )
@@ -4545,7 +4551,7 @@ module SfpLang
             case alt_80
             when 1
               # at line 395:7: NL
-              __NL199__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1180 )
+              __NL199__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1184 )
 
               tree_for_NL199 = @adaptor.create_with_payload( __NL199__ )
               @adaptor.add_child( root_0, tree_for_NL199 )
@@ -4555,11 +4561,11 @@ module SfpLang
               break # out of loop for decision 80
             end
           end # loop for decision 80
-          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1183 )
+          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1187 )
           constraint_body200 = constraint_body
           @state.following.pop
           @adaptor.add_child( root_0, constraint_body200.tree )
-          char_literal201 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1185 )
+          char_literal201 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1189 )
 
           tree_for_char_literal201 = @adaptor.create_with_payload( char_literal201 )
           @adaptor.add_child( root_0, tree_for_char_literal201 )
@@ -4577,7 +4583,7 @@ module SfpLang
             case alt_81
             when 1
               # at line 395:31: NL
-              __NL202__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1187 )
+              __NL202__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1191 )
 
               tree_for_NL202 = @adaptor.create_with_payload( __NL202__ )
               @adaptor.add_child( root_0, tree_for_NL202 )
@@ -4605,12 +4611,12 @@ module SfpLang
 
 
           # at line 398:4: 'within' NUMBER ( NL )* '{' ( NL )* constraint_body '}' ( NL )+
-          string_literal203 = match( T__47, TOKENS_FOLLOWING_T__47_IN_goal_body_1201 )
+          string_literal203 = match( T__48, TOKENS_FOLLOWING_T__48_IN_goal_body_1205 )
 
           tree_for_string_literal203 = @adaptor.create_with_payload( string_literal203 )
           @adaptor.add_child( root_0, tree_for_string_literal203 )
 
-          __NUMBER204__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_goal_body_1203 )
+          __NUMBER204__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_goal_body_1207 )
 
           tree_for_NUMBER204 = @adaptor.create_with_payload( __NUMBER204__ )
           @adaptor.add_child( root_0, tree_for_NUMBER204 )
@@ -4627,7 +4633,7 @@ module SfpLang
             case alt_82
             when 1
               # at line 398:20: NL
-              __NL205__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1205 )
+              __NL205__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1209 )
 
               tree_for_NL205 = @adaptor.create_with_payload( __NL205__ )
               @adaptor.add_child( root_0, tree_for_NL205 )
@@ -4645,7 +4651,7 @@ module SfpLang
           			@now['deadline'] = __NUMBER204__.text.to_s.to_i
           		
           # <-- action
-          char_literal206 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1214 )
+          char_literal206 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1218 )
 
           tree_for_char_literal206 = @adaptor.create_with_payload( char_literal206 )
           @adaptor.add_child( root_0, tree_for_char_literal206 )
@@ -4662,7 +4668,7 @@ module SfpLang
             case alt_83
             when 1
               # at line 405:7: NL
-              __NL207__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1216 )
+              __NL207__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1220 )
 
               tree_for_NL207 = @adaptor.create_with_payload( __NL207__ )
               @adaptor.add_child( root_0, tree_for_NL207 )
@@ -4672,11 +4678,11 @@ module SfpLang
               break # out of loop for decision 83
             end
           end # loop for decision 83
-          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1219 )
+          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1223 )
           constraint_body208 = constraint_body
           @state.following.pop
           @adaptor.add_child( root_0, constraint_body208.tree )
-          char_literal209 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1221 )
+          char_literal209 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1225 )
 
           tree_for_char_literal209 = @adaptor.create_with_payload( char_literal209 )
           @adaptor.add_child( root_0, tree_for_char_literal209 )
@@ -4694,7 +4700,7 @@ module SfpLang
             case alt_84
             when 1
               # at line 405:31: NL
-              __NL210__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1223 )
+              __NL210__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1227 )
 
               tree_for_NL210 = @adaptor.create_with_payload( __NL210__ )
               @adaptor.add_child( root_0, tree_for_NL210 )
@@ -4719,7 +4725,7 @@ module SfpLang
 
 
           # at line 407:4: 'after' ( NL )* '{' ( NL )* constraint_body '}' ( NL )* ( 'then' | 'within' NUMBER ) ( NL )* '{' ( NL )* constraint_body '}' ( NL )+
-          string_literal211 = match( T__48, TOKENS_FOLLOWING_T__48_IN_goal_body_1233 )
+          string_literal211 = match( T__49, TOKENS_FOLLOWING_T__49_IN_goal_body_1237 )
 
           tree_for_string_literal211 = @adaptor.create_with_payload( string_literal211 )
           @adaptor.add_child( root_0, tree_for_string_literal211 )
@@ -4736,7 +4742,7 @@ module SfpLang
             case alt_85
             when 1
               # at line 407:12: NL
-              __NL212__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1235 )
+              __NL212__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1239 )
 
               tree_for_NL212 = @adaptor.create_with_payload( __NL212__ )
               @adaptor.add_child( root_0, tree_for_NL212 )
@@ -4760,7 +4766,7 @@ module SfpLang
           			@now = @now['after']
           		
           # <-- action
-          char_literal213 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1244 )
+          char_literal213 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1248 )
 
           tree_for_char_literal213 = @adaptor.create_with_payload( char_literal213 )
           @adaptor.add_child( root_0, tree_for_char_literal213 )
@@ -4777,7 +4783,7 @@ module SfpLang
             case alt_86
             when 1
               # at line 420:7: NL
-              __NL214__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1246 )
+              __NL214__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1250 )
 
               tree_for_NL214 = @adaptor.create_with_payload( __NL214__ )
               @adaptor.add_child( root_0, tree_for_NL214 )
@@ -4787,11 +4793,11 @@ module SfpLang
               break # out of loop for decision 86
             end
           end # loop for decision 86
-          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1249 )
+          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1253 )
           constraint_body215 = constraint_body
           @state.following.pop
           @adaptor.add_child( root_0, constraint_body215.tree )
-          char_literal216 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1251 )
+          char_literal216 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1255 )
 
           tree_for_char_literal216 = @adaptor.create_with_payload( char_literal216 )
           @adaptor.add_child( root_0, tree_for_char_literal216 )
@@ -4808,7 +4814,7 @@ module SfpLang
             case alt_87
             when 1
               # at line 420:31: NL
-              __NL217__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1253 )
+              __NL217__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1257 )
 
               tree_for_NL217 = @adaptor.create_with_payload( __NL217__ )
               @adaptor.add_child( root_0, tree_for_NL217 )
@@ -4825,9 +4831,9 @@ module SfpLang
           alt_88 = 2
           look_88_0 = @input.peek( 1 )
 
-          if ( look_88_0 == T__29 )
+          if ( look_88_0 == T__30 )
             alt_88 = 1
-          elsif ( look_88_0 == T__47 )
+          elsif ( look_88_0 == T__48 )
             alt_88 = 2
           else
             raise NoViableAlternative( "", 88, 0 )
@@ -4835,7 +4841,7 @@ module SfpLang
           case alt_88
           when 1
             # at line 422:5: 'then'
-            string_literal218 = match( T__29, TOKENS_FOLLOWING_T__29_IN_goal_body_1264 )
+            string_literal218 = match( T__30, TOKENS_FOLLOWING_T__30_IN_goal_body_1268 )
 
             tree_for_string_literal218 = @adaptor.create_with_payload( string_literal218 )
             @adaptor.add_child( root_0, tree_for_string_literal218 )
@@ -4843,12 +4849,12 @@ module SfpLang
 
           when 2
             # at line 423:6: 'within' NUMBER
-            string_literal219 = match( T__47, TOKENS_FOLLOWING_T__47_IN_goal_body_1271 )
+            string_literal219 = match( T__48, TOKENS_FOLLOWING_T__48_IN_goal_body_1275 )
 
             tree_for_string_literal219 = @adaptor.create_with_payload( string_literal219 )
             @adaptor.add_child( root_0, tree_for_string_literal219 )
 
-            __NUMBER220__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_goal_body_1273 )
+            __NUMBER220__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_goal_body_1277 )
 
             tree_for_NUMBER220 = @adaptor.create_with_payload( __NUMBER220__ )
             @adaptor.add_child( root_0, tree_for_NUMBER220 )
@@ -4870,7 +4876,7 @@ module SfpLang
             case alt_89
             when 1
               # at line 425:5: NL
-              __NL221__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1285 )
+              __NL221__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1289 )
 
               tree_for_NL221 = @adaptor.create_with_payload( __NL221__ )
               @adaptor.add_child( root_0, tree_for_NL221 )
@@ -4886,7 +4892,7 @@ module SfpLang
           			@now = @now['then']
           		
           # <-- action
-          char_literal222 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1294 )
+          char_literal222 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1298 )
 
           tree_for_char_literal222 = @adaptor.create_with_payload( char_literal222 )
           @adaptor.add_child( root_0, tree_for_char_literal222 )
@@ -4903,7 +4909,7 @@ module SfpLang
             case alt_90
             when 1
               # at line 430:7: NL
-              __NL223__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1296 )
+              __NL223__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1300 )
 
               tree_for_NL223 = @adaptor.create_with_payload( __NL223__ )
               @adaptor.add_child( root_0, tree_for_NL223 )
@@ -4913,11 +4919,11 @@ module SfpLang
               break # out of loop for decision 90
             end
           end # loop for decision 90
-          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1299 )
+          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1303 )
           constraint_body224 = constraint_body
           @state.following.pop
           @adaptor.add_child( root_0, constraint_body224.tree )
-          char_literal225 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1301 )
+          char_literal225 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1305 )
 
           tree_for_char_literal225 = @adaptor.create_with_payload( char_literal225 )
           @adaptor.add_child( root_0, tree_for_char_literal225 )
@@ -4935,7 +4941,7 @@ module SfpLang
             case alt_91
             when 1
               # at line 430:31: NL
-              __NL226__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1303 )
+              __NL226__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1307 )
 
               tree_for_NL226 = @adaptor.create_with_payload( __NL226__ )
               @adaptor.add_child( root_0, tree_for_NL226 )
@@ -4966,7 +4972,7 @@ module SfpLang
 
 
           # at line 434:4: 'before' ( NL )* '{' ( NL )* constraint_body '}' ( NL )* 'then' ( NL )* '{' ( NL )* constraint_body '}' ( NL )+
-          string_literal227 = match( T__49, TOKENS_FOLLOWING_T__49_IN_goal_body_1321 )
+          string_literal227 = match( T__50, TOKENS_FOLLOWING_T__50_IN_goal_body_1325 )
 
           tree_for_string_literal227 = @adaptor.create_with_payload( string_literal227 )
           @adaptor.add_child( root_0, tree_for_string_literal227 )
@@ -4983,7 +4989,7 @@ module SfpLang
             case alt_92
             when 1
               # at line 434:13: NL
-              __NL228__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1323 )
+              __NL228__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1327 )
 
               tree_for_NL228 = @adaptor.create_with_payload( __NL228__ )
               @adaptor.add_child( root_0, tree_for_NL228 )
@@ -5002,7 +5008,7 @@ module SfpLang
           			@now = @now['before']
           		
           # <-- action
-          char_literal229 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1332 )
+          char_literal229 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1336 )
 
           tree_for_char_literal229 = @adaptor.create_with_payload( char_literal229 )
           @adaptor.add_child( root_0, tree_for_char_literal229 )
@@ -5019,7 +5025,7 @@ module SfpLang
             case alt_93
             when 1
               # at line 442:7: NL
-              __NL230__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1334 )
+              __NL230__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1338 )
 
               tree_for_NL230 = @adaptor.create_with_payload( __NL230__ )
               @adaptor.add_child( root_0, tree_for_NL230 )
@@ -5029,11 +5035,11 @@ module SfpLang
               break # out of loop for decision 93
             end
           end # loop for decision 93
-          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1337 )
+          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1341 )
           constraint_body231 = constraint_body
           @state.following.pop
           @adaptor.add_child( root_0, constraint_body231.tree )
-          char_literal232 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1339 )
+          char_literal232 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1343 )
 
           tree_for_char_literal232 = @adaptor.create_with_payload( char_literal232 )
           @adaptor.add_child( root_0, tree_for_char_literal232 )
@@ -5050,7 +5056,7 @@ module SfpLang
             case alt_94
             when 1
               # at line 442:31: NL
-              __NL233__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1341 )
+              __NL233__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1345 )
 
               tree_for_NL233 = @adaptor.create_with_payload( __NL233__ )
               @adaptor.add_child( root_0, tree_for_NL233 )
@@ -5063,7 +5069,7 @@ module SfpLang
           # --> action
           	self.goto_parent()	
           # <-- action
-          string_literal234 = match( T__29, TOKENS_FOLLOWING_T__29_IN_goal_body_1350 )
+          string_literal234 = match( T__30, TOKENS_FOLLOWING_T__30_IN_goal_body_1354 )
 
           tree_for_string_literal234 = @adaptor.create_with_payload( string_literal234 )
           @adaptor.add_child( root_0, tree_for_string_literal234 )
@@ -5080,7 +5086,7 @@ module SfpLang
             case alt_95
             when 1
               # at line 444:10: NL
-              __NL235__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1352 )
+              __NL235__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1356 )
 
               tree_for_NL235 = @adaptor.create_with_payload( __NL235__ )
               @adaptor.add_child( root_0, tree_for_NL235 )
@@ -5096,7 +5102,7 @@ module SfpLang
           			@now = @now['then']
           		
           # <-- action
-          char_literal236 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1361 )
+          char_literal236 = match( T__20, TOKENS_FOLLOWING_T__20_IN_goal_body_1365 )
 
           tree_for_char_literal236 = @adaptor.create_with_payload( char_literal236 )
           @adaptor.add_child( root_0, tree_for_char_literal236 )
@@ -5113,7 +5119,7 @@ module SfpLang
             case alt_96
             when 1
               # at line 449:7: NL
-              __NL237__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1363 )
+              __NL237__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1367 )
 
               tree_for_NL237 = @adaptor.create_with_payload( __NL237__ )
               @adaptor.add_child( root_0, tree_for_NL237 )
@@ -5123,11 +5129,11 @@ module SfpLang
               break # out of loop for decision 96
             end
           end # loop for decision 96
-          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1366 )
+          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_goal_body_1370 )
           constraint_body238 = constraint_body
           @state.following.pop
           @adaptor.add_child( root_0, constraint_body238.tree )
-          char_literal239 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1368 )
+          char_literal239 = match( T__21, TOKENS_FOLLOWING_T__21_IN_goal_body_1372 )
 
           tree_for_char_literal239 = @adaptor.create_with_payload( char_literal239 )
           @adaptor.add_child( root_0, tree_for_char_literal239 )
@@ -5145,7 +5151,7 @@ module SfpLang
             case alt_97
             when 1
               # at line 449:31: NL
-              __NL240__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1370 )
+              __NL240__ = match( NL, TOKENS_FOLLOWING_NL_IN_goal_body_1374 )
 
               tree_for_NL240 = @adaptor.create_with_payload( __NL240__ )
               @adaptor.add_child( root_0, tree_for_NL240 )
@@ -5220,7 +5226,7 @@ module SfpLang
 
 
         # at line 455:4: '{' ( NL )* constraint_body '}'
-        char_literal241 = match( T__20, TOKENS_FOLLOWING_T__20_IN_nested_constraint_1390 )
+        char_literal241 = match( T__20, TOKENS_FOLLOWING_T__20_IN_nested_constraint_1394 )
 
         tree_for_char_literal241 = @adaptor.create_with_payload( char_literal241 )
         @adaptor.add_child( root_0, tree_for_char_literal241 )
@@ -5237,7 +5243,7 @@ module SfpLang
           case alt_99
           when 1
             # at line 455:8: NL
-            __NL242__ = match( NL, TOKENS_FOLLOWING_NL_IN_nested_constraint_1392 )
+            __NL242__ = match( NL, TOKENS_FOLLOWING_NL_IN_nested_constraint_1396 )
 
             tree_for_NL242 = @adaptor.create_with_payload( __NL242__ )
             @adaptor.add_child( root_0, tree_for_NL242 )
@@ -5247,11 +5253,11 @@ module SfpLang
             break # out of loop for decision 99
           end
         end # loop for decision 99
-        @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_nested_constraint_1395 )
+        @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_nested_constraint_1399 )
         constraint_body243 = constraint_body
         @state.following.pop
         @adaptor.add_child( root_0, constraint_body243.tree )
-        char_literal244 = match( T__21, TOKENS_FOLLOWING_T__21_IN_nested_constraint_1397 )
+        char_literal244 = match( T__21, TOKENS_FOLLOWING_T__21_IN_nested_constraint_1401 )
 
         tree_for_char_literal244 = @adaptor.create_with_payload( char_literal244 )
         @adaptor.add_child( root_0, tree_for_char_literal244 )
@@ -5314,12 +5320,12 @@ module SfpLang
 
 
         # at line 459:4: ID 'constraint' '{' ( NL )* constraint_body '}' ( NL )+
-        __ID245__ = match( ID, TOKENS_FOLLOWING_ID_IN_constraint_1408 )
+        __ID245__ = match( ID, TOKENS_FOLLOWING_ID_IN_constraint_1412 )
 
         tree_for_ID245 = @adaptor.create_with_payload( __ID245__ )
         @adaptor.add_child( root_0, tree_for_ID245 )
 
-        string_literal246 = match( T__44, TOKENS_FOLLOWING_T__44_IN_constraint_1410 )
+        string_literal246 = match( T__45, TOKENS_FOLLOWING_T__45_IN_constraint_1414 )
 
         tree_for_string_literal246 = @adaptor.create_with_payload( string_literal246 )
         @adaptor.add_child( root_0, tree_for_string_literal246 )
@@ -5334,7 +5340,7 @@ module SfpLang
         			@now = @now[__ID245__.text]
         		
         # <-- action
-        char_literal247 = match( T__20, TOKENS_FOLLOWING_T__20_IN_constraint_1418 )
+        char_literal247 = match( T__20, TOKENS_FOLLOWING_T__20_IN_constraint_1422 )
 
         tree_for_char_literal247 = @adaptor.create_with_payload( char_literal247 )
         @adaptor.add_child( root_0, tree_for_char_literal247 )
@@ -5351,7 +5357,7 @@ module SfpLang
           case alt_100
           when 1
             # at line 468:7: NL
-            __NL248__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_1420 )
+            __NL248__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_1424 )
 
             tree_for_NL248 = @adaptor.create_with_payload( __NL248__ )
             @adaptor.add_child( root_0, tree_for_NL248 )
@@ -5361,11 +5367,11 @@ module SfpLang
             break # out of loop for decision 100
           end
         end # loop for decision 100
-        @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_constraint_1423 )
+        @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_constraint_1427 )
         constraint_body249 = constraint_body
         @state.following.pop
         @adaptor.add_child( root_0, constraint_body249.tree )
-        char_literal250 = match( T__21, TOKENS_FOLLOWING_T__21_IN_constraint_1425 )
+        char_literal250 = match( T__21, TOKENS_FOLLOWING_T__21_IN_constraint_1429 )
 
         tree_for_char_literal250 = @adaptor.create_with_payload( char_literal250 )
         @adaptor.add_child( root_0, tree_for_char_literal250 )
@@ -5383,7 +5389,7 @@ module SfpLang
           case alt_101
           when 1
             # at line 468:31: NL
-            __NL251__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_1427 )
+            __NL251__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_1431 )
 
             tree_for_NL251 = @adaptor.create_with_payload( __NL251__ )
             @adaptor.add_child( root_0, tree_for_NL251 )
@@ -5458,7 +5464,7 @@ module SfpLang
           alt_104 = 2
           look_104_0 = @input.peek( 1 )
 
-          if ( look_104_0 == ID || look_104_0 == T__28 || look_104_0 == T__50 || look_104_0.between?( T__52, T__54 ) || look_104_0 == T__57 || look_104_0 == T__63 )
+          if ( look_104_0 == ID || look_104_0 == T__29 || look_104_0 == T__51 || look_104_0.between?( T__53, T__55 ) || look_104_0 == T__58 || look_104_0 == T__64 )
             alt_104 = 1
 
           end
@@ -5471,7 +5477,7 @@ module SfpLang
             case alt_102
             when 1
               # at line 474:6: constraint_statement
-              @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_constraint_body_1450 )
+              @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_constraint_body_1454 )
               constraint_statement252 = constraint_statement
               @state.following.pop
               @adaptor.add_child( root_0, constraint_statement252.tree )
@@ -5483,21 +5489,21 @@ module SfpLang
 
             when 2
               # at line 478:6: constraint_namespace
-              @state.following.push( TOKENS_FOLLOWING_constraint_namespace_IN_constraint_body_1463 )
+              @state.following.push( TOKENS_FOLLOWING_constraint_namespace_IN_constraint_body_1467 )
               constraint_namespace253 = constraint_namespace
               @state.following.pop
               @adaptor.add_child( root_0, constraint_namespace253.tree )
 
             when 3
               # at line 479:6: constraint_iterator
-              @state.following.push( TOKENS_FOLLOWING_constraint_iterator_IN_constraint_body_1470 )
+              @state.following.push( TOKENS_FOLLOWING_constraint_iterator_IN_constraint_body_1474 )
               constraint_iterator254 = constraint_iterator
               @state.following.pop
               @adaptor.add_child( root_0, constraint_iterator254.tree )
 
             when 4
               # at line 480:6: constraint_class_quantification
-              @state.following.push( TOKENS_FOLLOWING_constraint_class_quantification_IN_constraint_body_1477 )
+              @state.following.push( TOKENS_FOLLOWING_constraint_class_quantification_IN_constraint_body_1481 )
               constraint_class_quantification255 = constraint_class_quantification
               @state.following.pop
               @adaptor.add_child( root_0, constraint_class_quantification255.tree )
@@ -5516,7 +5522,7 @@ module SfpLang
               case alt_103
               when 1
                 # at line 482:3: NL
-                __NL256__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_body_1486 )
+                __NL256__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_body_1490 )
 
                 tree_for_NL256 = @adaptor.create_with_payload( __NL256__ )
                 @adaptor.add_child( root_0, tree_for_NL256 )
@@ -5594,7 +5600,7 @@ module SfpLang
 
 
         # at line 486:4: path ( NL )* '{' ( NL )* ( constraint_statement ( NL )+ )* '}'
-        @state.following.push( TOKENS_FOLLOWING_path_IN_constraint_namespace_1500 )
+        @state.following.push( TOKENS_FOLLOWING_path_IN_constraint_namespace_1504 )
         path257 = path
         @state.following.pop
         @adaptor.add_child( root_0, path257.tree )
@@ -5610,7 +5616,7 @@ module SfpLang
           case alt_105
           when 1
             # at line 486:9: NL
-            __NL258__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_namespace_1502 )
+            __NL258__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_namespace_1506 )
 
             tree_for_NL258 = @adaptor.create_with_payload( __NL258__ )
             @adaptor.add_child( root_0, tree_for_NL258 )
@@ -5620,7 +5626,7 @@ module SfpLang
             break # out of loop for decision 105
           end
         end # loop for decision 105
-        char_literal259 = match( T__20, TOKENS_FOLLOWING_T__20_IN_constraint_namespace_1505 )
+        char_literal259 = match( T__20, TOKENS_FOLLOWING_T__20_IN_constraint_namespace_1509 )
 
         tree_for_char_literal259 = @adaptor.create_with_payload( char_literal259 )
         @adaptor.add_child( root_0, tree_for_char_literal259 )
@@ -5637,7 +5643,7 @@ module SfpLang
           case alt_106
           when 1
             # at line 486:17: NL
-            __NL260__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_namespace_1507 )
+            __NL260__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_namespace_1511 )
 
             tree_for_NL260 = @adaptor.create_with_payload( __NL260__ )
             @adaptor.add_child( root_0, tree_for_NL260 )
@@ -5652,14 +5658,14 @@ module SfpLang
           alt_108 = 2
           look_108_0 = @input.peek( 1 )
 
-          if ( look_108_0 == ID || look_108_0 == T__28 || look_108_0 == T__57 || look_108_0 == T__63 )
+          if ( look_108_0 == ID || look_108_0 == T__29 || look_108_0 == T__58 || look_108_0 == T__64 )
             alt_108 = 1
 
           end
           case alt_108
           when 1
             # at line 486:22: constraint_statement ( NL )+
-            @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_constraint_namespace_1511 )
+            @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_constraint_namespace_1515 )
             constraint_statement261 = constraint_statement
             @state.following.pop
             @adaptor.add_child( root_0, constraint_statement261.tree )
@@ -5682,7 +5688,7 @@ module SfpLang
               case alt_107
               when 1
                 # at line 491:3: NL
-                __NL262__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_namespace_1519 )
+                __NL262__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_namespace_1523 )
 
                 tree_for_NL262 = @adaptor.create_with_payload( __NL262__ )
                 @adaptor.add_child( root_0, tree_for_NL262 )
@@ -5703,7 +5709,7 @@ module SfpLang
             break # out of loop for decision 108
           end
         end # loop for decision 108
-        char_literal263 = match( T__21, TOKENS_FOLLOWING_T__21_IN_constraint_namespace_1524 )
+        char_literal263 = match( T__21, TOKENS_FOLLOWING_T__21_IN_constraint_namespace_1528 )
 
         tree_for_char_literal263 = @adaptor.create_with_payload( char_literal263 )
         @adaptor.add_child( root_0, tree_for_char_literal263 )
@@ -5775,31 +5781,31 @@ module SfpLang
 
 
         # at line 495:4: 'foreach' '(' path 'as' ID ')' ( NL )* '{' ( NL )+ ( constraint_statement ( NL )+ )* '}'
-        string_literal264 = match( T__50, TOKENS_FOLLOWING_T__50_IN_constraint_iterator_1535 )
+        string_literal264 = match( T__51, TOKENS_FOLLOWING_T__51_IN_constraint_iterator_1539 )
 
         tree_for_string_literal264 = @adaptor.create_with_payload( string_literal264 )
         @adaptor.add_child( root_0, tree_for_string_literal264 )
 
-        char_literal265 = match( T__37, TOKENS_FOLLOWING_T__37_IN_constraint_iterator_1537 )
+        char_literal265 = match( T__38, TOKENS_FOLLOWING_T__38_IN_constraint_iterator_1541 )
 
         tree_for_char_literal265 = @adaptor.create_with_payload( char_literal265 )
         @adaptor.add_child( root_0, tree_for_char_literal265 )
 
-        @state.following.push( TOKENS_FOLLOWING_path_IN_constraint_iterator_1539 )
+        @state.following.push( TOKENS_FOLLOWING_path_IN_constraint_iterator_1543 )
         path266 = path
         @state.following.pop
         @adaptor.add_child( root_0, path266.tree )
-        string_literal267 = match( T__51, TOKENS_FOLLOWING_T__51_IN_constraint_iterator_1541 )
+        string_literal267 = match( T__52, TOKENS_FOLLOWING_T__52_IN_constraint_iterator_1545 )
 
         tree_for_string_literal267 = @adaptor.create_with_payload( string_literal267 )
         @adaptor.add_child( root_0, tree_for_string_literal267 )
 
-        __ID268__ = match( ID, TOKENS_FOLLOWING_ID_IN_constraint_iterator_1543 )
+        __ID268__ = match( ID, TOKENS_FOLLOWING_ID_IN_constraint_iterator_1547 )
 
         tree_for_ID268 = @adaptor.create_with_payload( __ID268__ )
         @adaptor.add_child( root_0, tree_for_ID268 )
 
-        char_literal269 = match( T__39, TOKENS_FOLLOWING_T__39_IN_constraint_iterator_1545 )
+        char_literal269 = match( T__40, TOKENS_FOLLOWING_T__40_IN_constraint_iterator_1549 )
 
         tree_for_char_literal269 = @adaptor.create_with_payload( char_literal269 )
         @adaptor.add_child( root_0, tree_for_char_literal269 )
@@ -5816,7 +5822,7 @@ module SfpLang
           case alt_109
           when 1
             # at line 495:35: NL
-            __NL270__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_iterator_1547 )
+            __NL270__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_iterator_1551 )
 
             tree_for_NL270 = @adaptor.create_with_payload( __NL270__ )
             @adaptor.add_child( root_0, tree_for_NL270 )
@@ -5826,7 +5832,7 @@ module SfpLang
             break # out of loop for decision 109
           end
         end # loop for decision 109
-        char_literal271 = match( T__20, TOKENS_FOLLOWING_T__20_IN_constraint_iterator_1550 )
+        char_literal271 = match( T__20, TOKENS_FOLLOWING_T__20_IN_constraint_iterator_1554 )
 
         tree_for_char_literal271 = @adaptor.create_with_payload( char_literal271 )
         @adaptor.add_child( root_0, tree_for_char_literal271 )
@@ -5844,7 +5850,7 @@ module SfpLang
           case alt_110
           when 1
             # at line 495:43: NL
-            __NL272__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_iterator_1552 )
+            __NL272__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_iterator_1556 )
 
             tree_for_NL272 = @adaptor.create_with_payload( __NL272__ )
             @adaptor.add_child( root_0, tree_for_NL272 )
@@ -5886,14 +5892,14 @@ module SfpLang
           alt_112 = 2
           look_112_0 = @input.peek( 1 )
 
-          if ( look_112_0 == ID || look_112_0 == T__28 || look_112_0 == T__57 || look_112_0 == T__63 )
+          if ( look_112_0 == ID || look_112_0 == T__29 || look_112_0 == T__58 || look_112_0 == T__64 )
             alt_112 = 1
 
           end
           case alt_112
           when 1
             # at line 515:4: constraint_statement ( NL )+
-            @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_constraint_iterator_1562 )
+            @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_constraint_iterator_1566 )
             constraint_statement273 = constraint_statement
             @state.following.pop
             @adaptor.add_child( root_0, constraint_statement273.tree )
@@ -5915,7 +5921,7 @@ module SfpLang
               case alt_111
               when 1
                 # at line 519:3: NL
-                __NL274__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_iterator_1570 )
+                __NL274__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_iterator_1574 )
 
                 tree_for_NL274 = @adaptor.create_with_payload( __NL274__ )
                 @adaptor.add_child( root_0, tree_for_NL274 )
@@ -5936,7 +5942,7 @@ module SfpLang
             break # out of loop for decision 112
           end
         end # loop for decision 112
-        char_literal275 = match( T__21, TOKENS_FOLLOWING_T__21_IN_constraint_iterator_1577 )
+        char_literal275 = match( T__21, TOKENS_FOLLOWING_T__21_IN_constraint_iterator_1581 )
 
         tree_for_char_literal275 = @adaptor.create_with_payload( char_literal275 )
         @adaptor.add_child( root_0, tree_for_char_literal275 )
@@ -5995,7 +6001,7 @@ module SfpLang
 
         # at line 
         set276 = @input.look
-        if @input.peek( 1 ).between?( T__52, T__54 )
+        if @input.peek( 1 ).between?( T__53, T__55 )
           @input.consume
           @adaptor.add_child( root_0, @adaptor.create_with_payload( set276 ) )
           @state.error_recovery = false
@@ -6082,30 +6088,30 @@ module SfpLang
 
 
         # at line 534:4: quantification_keyword '(' path 'as' ID ')' ( ( binary_comp | '=' ) NUMBER )? ( NL )* '{' ( NL )+ ( constraint_statement ( NL )+ | constraint_different ( NL )+ | constraint_iterator ( NL )+ )* '}'
-        @state.following.push( TOKENS_FOLLOWING_quantification_keyword_IN_constraint_class_quantification_1613 )
+        @state.following.push( TOKENS_FOLLOWING_quantification_keyword_IN_constraint_class_quantification_1617 )
         quantification_keyword277 = quantification_keyword
         @state.following.pop
         @adaptor.add_child( root_0, quantification_keyword277.tree )
-        char_literal278 = match( T__37, TOKENS_FOLLOWING_T__37_IN_constraint_class_quantification_1615 )
+        char_literal278 = match( T__38, TOKENS_FOLLOWING_T__38_IN_constraint_class_quantification_1619 )
 
         tree_for_char_literal278 = @adaptor.create_with_payload( char_literal278 )
         @adaptor.add_child( root_0, tree_for_char_literal278 )
 
-        @state.following.push( TOKENS_FOLLOWING_path_IN_constraint_class_quantification_1617 )
+        @state.following.push( TOKENS_FOLLOWING_path_IN_constraint_class_quantification_1621 )
         path279 = path
         @state.following.pop
         @adaptor.add_child( root_0, path279.tree )
-        string_literal280 = match( T__51, TOKENS_FOLLOWING_T__51_IN_constraint_class_quantification_1619 )
+        string_literal280 = match( T__52, TOKENS_FOLLOWING_T__52_IN_constraint_class_quantification_1623 )
 
         tree_for_string_literal280 = @adaptor.create_with_payload( string_literal280 )
         @adaptor.add_child( root_0, tree_for_string_literal280 )
 
-        __ID281__ = match( ID, TOKENS_FOLLOWING_ID_IN_constraint_class_quantification_1621 )
+        __ID281__ = match( ID, TOKENS_FOLLOWING_ID_IN_constraint_class_quantification_1625 )
 
         tree_for_ID281 = @adaptor.create_with_payload( __ID281__ )
         @adaptor.add_child( root_0, tree_for_ID281 )
 
-        char_literal282 = match( T__39, TOKENS_FOLLOWING_T__39_IN_constraint_class_quantification_1623 )
+        char_literal282 = match( T__40, TOKENS_FOLLOWING_T__40_IN_constraint_class_quantification_1627 )
 
         tree_for_char_literal282 = @adaptor.create_with_payload( char_literal282 )
         @adaptor.add_child( root_0, tree_for_char_literal282 )
@@ -6135,7 +6141,7 @@ module SfpLang
         alt_114 = 2
         look_114_0 = @input.peek( 1 )
 
-        if ( look_114_0 == T__55 || look_114_0.between?( T__76, T__79 ) )
+        if ( look_114_0 == T__56 || look_114_0.between?( T__77, T__80 ) )
           alt_114 = 1
         end
         case alt_114
@@ -6145,9 +6151,9 @@ module SfpLang
           alt_113 = 2
           look_113_0 = @input.peek( 1 )
 
-          if ( look_113_0.between?( T__76, T__79 ) )
+          if ( look_113_0.between?( T__77, T__80 ) )
             alt_113 = 1
-          elsif ( look_113_0 == T__55 )
+          elsif ( look_113_0 == T__56 )
             alt_113 = 2
           else
             raise NoViableAlternative( "", 113, 0 )
@@ -6155,7 +6161,7 @@ module SfpLang
           case alt_113
           when 1
             # at line 554:7: binary_comp
-            @state.following.push( TOKENS_FOLLOWING_binary_comp_IN_constraint_class_quantification_1635 )
+            @state.following.push( TOKENS_FOLLOWING_binary_comp_IN_constraint_class_quantification_1639 )
             binary_comp283 = binary_comp
             @state.following.pop
             @adaptor.add_child( root_0, binary_comp283.tree )
@@ -6165,7 +6171,7 @@ module SfpLang
 
           when 2
             # at line 556:6: '='
-            char_literal284 = match( T__55, TOKENS_FOLLOWING_T__55_IN_constraint_class_quantification_1648 )
+            char_literal284 = match( T__56, TOKENS_FOLLOWING_T__56_IN_constraint_class_quantification_1652 )
 
             tree_for_char_literal284 = @adaptor.create_with_payload( char_literal284 )
             @adaptor.add_child( root_0, tree_for_char_literal284 )
@@ -6175,7 +6181,7 @@ module SfpLang
             # <-- action
 
           end
-          __NUMBER285__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_constraint_class_quantification_1664 )
+          __NUMBER285__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_constraint_class_quantification_1668 )
 
           tree_for_NUMBER285 = @adaptor.create_with_payload( __NUMBER285__ )
           @adaptor.add_child( root_0, tree_for_NUMBER285 )
@@ -6197,7 +6203,7 @@ module SfpLang
           case alt_115
           when 1
             # at line 562:3: NL
-            __NL286__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1678 )
+            __NL286__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1682 )
 
             tree_for_NL286 = @adaptor.create_with_payload( __NL286__ )
             @adaptor.add_child( root_0, tree_for_NL286 )
@@ -6207,7 +6213,7 @@ module SfpLang
             break # out of loop for decision 115
           end
         end # loop for decision 115
-        char_literal287 = match( T__20, TOKENS_FOLLOWING_T__20_IN_constraint_class_quantification_1681 )
+        char_literal287 = match( T__20, TOKENS_FOLLOWING_T__20_IN_constraint_class_quantification_1685 )
 
         tree_for_char_literal287 = @adaptor.create_with_payload( char_literal287 )
         @adaptor.add_child( root_0, tree_for_char_literal287 )
@@ -6225,7 +6231,7 @@ module SfpLang
           case alt_116
           when 1
             # at line 562:11: NL
-            __NL288__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1683 )
+            __NL288__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1687 )
 
             tree_for_NL288 = @adaptor.create_with_payload( __NL288__ )
             @adaptor.add_child( root_0, tree_for_NL288 )
@@ -6245,14 +6251,14 @@ module SfpLang
         while true # decision 120
           alt_120 = 4
           case look_120 = @input.peek( 1 )
-          when ID, T__28, T__57, T__63 then alt_120 = 1
-          when T__56 then alt_120 = 2
-          when T__50 then alt_120 = 3
+          when ID, T__29, T__58, T__64 then alt_120 = 1
+          when T__57 then alt_120 = 2
+          when T__51 then alt_120 = 3
           end
           case alt_120
           when 1
             # at line 563:5: constraint_statement ( NL )+
-            @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_constraint_class_quantification_1690 )
+            @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_constraint_class_quantification_1694 )
             constraint_statement289 = constraint_statement
             @state.following.pop
             @adaptor.add_child( root_0, constraint_statement289.tree )
@@ -6272,7 +6278,7 @@ module SfpLang
               case alt_117
               when 1
                 # at line 565:4: NL
-                __NL290__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1700 )
+                __NL290__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1704 )
 
                 tree_for_NL290 = @adaptor.create_with_payload( __NL290__ )
                 @adaptor.add_child( root_0, tree_for_NL290 )
@@ -6291,7 +6297,7 @@ module SfpLang
 
           when 2
             # at line 566:5: constraint_different ( NL )+
-            @state.following.push( TOKENS_FOLLOWING_constraint_different_IN_constraint_class_quantification_1707 )
+            @state.following.push( TOKENS_FOLLOWING_constraint_different_IN_constraint_class_quantification_1711 )
             constraint_different291 = constraint_different
             @state.following.pop
             @adaptor.add_child( root_0, constraint_different291.tree )
@@ -6308,7 +6314,7 @@ module SfpLang
               case alt_118
               when 1
                 # at line 566:26: NL
-                __NL292__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1709 )
+                __NL292__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1713 )
 
                 tree_for_NL292 = @adaptor.create_with_payload( __NL292__ )
                 @adaptor.add_child( root_0, tree_for_NL292 )
@@ -6327,7 +6333,7 @@ module SfpLang
 
           when 3
             # at line 567:5: constraint_iterator ( NL )+
-            @state.following.push( TOKENS_FOLLOWING_constraint_iterator_IN_constraint_class_quantification_1716 )
+            @state.following.push( TOKENS_FOLLOWING_constraint_iterator_IN_constraint_class_quantification_1720 )
             constraint_iterator293 = constraint_iterator
             @state.following.pop
             @adaptor.add_child( root_0, constraint_iterator293.tree )
@@ -6344,7 +6350,7 @@ module SfpLang
               case alt_119
               when 1
                 # at line 567:25: NL
-                __NL294__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1718 )
+                __NL294__ = match( NL, TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1722 )
 
                 tree_for_NL294 = @adaptor.create_with_payload( __NL294__ )
                 @adaptor.add_child( root_0, tree_for_NL294 )
@@ -6365,7 +6371,7 @@ module SfpLang
             break # out of loop for decision 120
           end
         end # loop for decision 120
-        char_literal295 = match( T__21, TOKENS_FOLLOWING_T__21_IN_constraint_class_quantification_1726 )
+        char_literal295 = match( T__21, TOKENS_FOLLOWING_T__21_IN_constraint_class_quantification_1730 )
 
         tree_for_char_literal295 = @adaptor.create_with_payload( char_literal295 )
         @adaptor.add_child( root_0, tree_for_char_literal295 )
@@ -6428,21 +6434,21 @@ module SfpLang
 
 
         # at line 574:4: ':different' '(' path ')'
-        string_literal296 = match( T__56, TOKENS_FOLLOWING_T__56_IN_constraint_different_1745 )
+        string_literal296 = match( T__57, TOKENS_FOLLOWING_T__57_IN_constraint_different_1749 )
 
         tree_for_string_literal296 = @adaptor.create_with_payload( string_literal296 )
         @adaptor.add_child( root_0, tree_for_string_literal296 )
 
-        char_literal297 = match( T__37, TOKENS_FOLLOWING_T__37_IN_constraint_different_1747 )
+        char_literal297 = match( T__38, TOKENS_FOLLOWING_T__38_IN_constraint_different_1751 )
 
         tree_for_char_literal297 = @adaptor.create_with_payload( char_literal297 )
         @adaptor.add_child( root_0, tree_for_char_literal297 )
 
-        @state.following.push( TOKENS_FOLLOWING_path_IN_constraint_different_1749 )
+        @state.following.push( TOKENS_FOLLOWING_path_IN_constraint_different_1753 )
         path298 = path
         @state.following.pop
         @adaptor.add_child( root_0, path298.tree )
-        char_literal299 = match( T__39, TOKENS_FOLLOWING_T__39_IN_constraint_different_1751 )
+        char_literal299 = match( T__40, TOKENS_FOLLOWING_T__40_IN_constraint_different_1755 )
 
         tree_for_char_literal299 = @adaptor.create_with_payload( char_literal299 )
         @adaptor.add_child( root_0, tree_for_char_literal299 )
@@ -6547,7 +6553,7 @@ module SfpLang
 
 
           # at line 587:4: reference
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1770 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1774 )
           reference300 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference300.tree )
@@ -6563,12 +6569,12 @@ module SfpLang
 
 
           # at line 592:4: 'not' reference
-          string_literal301 = match( T__57, TOKENS_FOLLOWING_T__57_IN_constraint_statement_1779 )
+          string_literal301 = match( T__58, TOKENS_FOLLOWING_T__58_IN_constraint_statement_1783 )
 
           tree_for_string_literal301 = @adaptor.create_with_payload( string_literal301 )
           @adaptor.add_child( root_0, tree_for_string_literal301 )
 
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1781 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1785 )
           reference302 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference302.tree )
@@ -6584,15 +6590,15 @@ module SfpLang
 
 
           # at line 597:4: reference equals_op value
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1790 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1794 )
           reference303 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference303.tree )
-          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_constraint_statement_1792 )
+          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_constraint_statement_1796 )
           equals_op304 = equals_op
           @state.following.pop
           @adaptor.add_child( root_0, equals_op304.tree )
-          @state.following.push( TOKENS_FOLLOWING_value_IN_constraint_statement_1794 )
+          @state.following.push( TOKENS_FOLLOWING_value_IN_constraint_statement_1798 )
           value305 = value
           @state.following.pop
           @adaptor.add_child( root_0, value305.tree )
@@ -6608,15 +6614,15 @@ module SfpLang
 
 
           # at line 602:4: reference equals_op NULL
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1803 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1807 )
           reference306 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference306.tree )
-          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_constraint_statement_1805 )
+          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_constraint_statement_1809 )
           equals_op307 = equals_op
           @state.following.pop
           @adaptor.add_child( root_0, equals_op307.tree )
-          __NULL308__ = match( NULL, TOKENS_FOLLOWING_NULL_IN_constraint_statement_1807 )
+          __NULL308__ = match( NULL, TOKENS_FOLLOWING_NULL_IN_constraint_statement_1811 )
 
           tree_for_NULL308 = @adaptor.create_with_payload( __NULL308__ )
           @adaptor.add_child( root_0, tree_for_NULL308 )
@@ -6633,15 +6639,15 @@ module SfpLang
 
 
           # at line 607:4: reference not_equals_op value
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1816 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1820 )
           reference309 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference309.tree )
-          @state.following.push( TOKENS_FOLLOWING_not_equals_op_IN_constraint_statement_1818 )
+          @state.following.push( TOKENS_FOLLOWING_not_equals_op_IN_constraint_statement_1822 )
           not_equals_op310 = not_equals_op
           @state.following.pop
           @adaptor.add_child( root_0, not_equals_op310.tree )
-          @state.following.push( TOKENS_FOLLOWING_value_IN_constraint_statement_1820 )
+          @state.following.push( TOKENS_FOLLOWING_value_IN_constraint_statement_1824 )
           value311 = value
           @state.following.pop
           @adaptor.add_child( root_0, value311.tree )
@@ -6657,15 +6663,15 @@ module SfpLang
 
 
           # at line 612:4: reference not_equals_op NULL
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1829 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1833 )
           reference312 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference312.tree )
-          @state.following.push( TOKENS_FOLLOWING_not_equals_op_IN_constraint_statement_1831 )
+          @state.following.push( TOKENS_FOLLOWING_not_equals_op_IN_constraint_statement_1835 )
           not_equals_op313 = not_equals_op
           @state.following.pop
           @adaptor.add_child( root_0, not_equals_op313.tree )
-          __NULL314__ = match( NULL, TOKENS_FOLLOWING_NULL_IN_constraint_statement_1833 )
+          __NULL314__ = match( NULL, TOKENS_FOLLOWING_NULL_IN_constraint_statement_1837 )
 
           tree_for_NULL314 = @adaptor.create_with_payload( __NULL314__ )
           @adaptor.add_child( root_0, tree_for_NULL314 )
@@ -6682,7 +6688,7 @@ module SfpLang
 
 
           # at line 617:4: conditional_constraint
-          @state.following.push( TOKENS_FOLLOWING_conditional_constraint_IN_constraint_statement_1842 )
+          @state.following.push( TOKENS_FOLLOWING_conditional_constraint_IN_constraint_statement_1846 )
           conditional_constraint315 = conditional_constraint
           @state.following.pop
           @adaptor.add_child( root_0, conditional_constraint315.tree )
@@ -6698,7 +6704,7 @@ module SfpLang
 
 
           # at line 622:4: reference ( 'is' )? 'in' set_value
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1851 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1855 )
           reference316 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference316.tree )
@@ -6706,25 +6712,25 @@ module SfpLang
           alt_121 = 2
           look_121_0 = @input.peek( 1 )
 
-          if ( look_121_0 == T__58 )
+          if ( look_121_0 == T__59 )
             alt_121 = 1
           end
           case alt_121
           when 1
             # at line 622:14: 'is'
-            string_literal317 = match( T__58, TOKENS_FOLLOWING_T__58_IN_constraint_statement_1853 )
+            string_literal317 = match( T__59, TOKENS_FOLLOWING_T__59_IN_constraint_statement_1857 )
 
             tree_for_string_literal317 = @adaptor.create_with_payload( string_literal317 )
             @adaptor.add_child( root_0, tree_for_string_literal317 )
 
 
           end
-          string_literal318 = match( T__59, TOKENS_FOLLOWING_T__59_IN_constraint_statement_1856 )
+          string_literal318 = match( T__60, TOKENS_FOLLOWING_T__60_IN_constraint_statement_1860 )
 
           tree_for_string_literal318 = @adaptor.create_with_payload( string_literal318 )
           @adaptor.add_child( root_0, tree_for_string_literal318 )
 
-          @state.following.push( TOKENS_FOLLOWING_set_value_IN_constraint_statement_1858 )
+          @state.following.push( TOKENS_FOLLOWING_set_value_IN_constraint_statement_1862 )
           set_value319 = set_value
           @state.following.pop
           @adaptor.add_child( root_0, set_value319.tree )
@@ -6747,12 +6753,12 @@ module SfpLang
 
 
           # at line 634:4: reference ( 'isnot' | 'isnt' | 'not' ) 'in' set_value
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1867 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1871 )
           reference320 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference320.tree )
           set321 = @input.look
-          if @input.peek(1) == T__57 || @input.peek( 1 ).between?( T__60, T__61 )
+          if @input.peek(1) == T__58 || @input.peek( 1 ).between?( T__61, T__62 )
             @input.consume
             @adaptor.add_child( root_0, @adaptor.create_with_payload( set321 ) )
             @state.error_recovery = false
@@ -6762,12 +6768,12 @@ module SfpLang
           end
 
 
-          string_literal322 = match( T__59, TOKENS_FOLLOWING_T__59_IN_constraint_statement_1877 )
+          string_literal322 = match( T__60, TOKENS_FOLLOWING_T__60_IN_constraint_statement_1881 )
 
           tree_for_string_literal322 = @adaptor.create_with_payload( string_literal322 )
           @adaptor.add_child( root_0, tree_for_string_literal322 )
 
-          @state.following.push( TOKENS_FOLLOWING_set_value_IN_constraint_statement_1879 )
+          @state.following.push( TOKENS_FOLLOWING_set_value_IN_constraint_statement_1883 )
           set_value323 = set_value
           @state.following.pop
           @adaptor.add_child( root_0, set_value323.tree )
@@ -6793,16 +6799,16 @@ module SfpLang
 
 
           # at line 649:4: reference 'has' value
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1888 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1892 )
           reference324 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference324.tree )
-          string_literal325 = match( T__62, TOKENS_FOLLOWING_T__62_IN_constraint_statement_1890 )
+          string_literal325 = match( T__63, TOKENS_FOLLOWING_T__63_IN_constraint_statement_1894 )
 
           tree_for_string_literal325 = @adaptor.create_with_payload( string_literal325 )
           @adaptor.add_child( root_0, tree_for_string_literal325 )
 
-          @state.following.push( TOKENS_FOLLOWING_value_IN_constraint_statement_1892 )
+          @state.following.push( TOKENS_FOLLOWING_value_IN_constraint_statement_1896 )
           value326 = value
           @state.following.pop
           @adaptor.add_child( root_0, value326.tree )
@@ -6822,15 +6828,15 @@ module SfpLang
 
 
           # at line 658:4: reference binary_comp comp_value
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1901 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_constraint_statement_1905 )
           reference327 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference327.tree )
-          @state.following.push( TOKENS_FOLLOWING_binary_comp_IN_constraint_statement_1903 )
+          @state.following.push( TOKENS_FOLLOWING_binary_comp_IN_constraint_statement_1907 )
           binary_comp328 = binary_comp
           @state.following.pop
           @adaptor.add_child( root_0, binary_comp328.tree )
-          @state.following.push( TOKENS_FOLLOWING_comp_value_IN_constraint_statement_1905 )
+          @state.following.push( TOKENS_FOLLOWING_comp_value_IN_constraint_statement_1909 )
           comp_value329 = comp_value
           @state.following.pop
           @adaptor.add_child( root_0, comp_value329.tree )
@@ -6846,7 +6852,7 @@ module SfpLang
 
 
           # at line 663:4: total_constraint
-          @state.following.push( TOKENS_FOLLOWING_total_constraint_IN_constraint_statement_1914 )
+          @state.following.push( TOKENS_FOLLOWING_total_constraint_IN_constraint_statement_1918 )
           total_constraint330 = total_constraint
           @state.following.pop
           @adaptor.add_child( root_0, total_constraint330.tree )
@@ -6904,25 +6910,25 @@ module SfpLang
 
 
         # at line 667:4: 'total(' total_statement ')' binary_comp NUMBER
-        string_literal331 = match( T__63, TOKENS_FOLLOWING_T__63_IN_total_constraint_1925 )
+        string_literal331 = match( T__64, TOKENS_FOLLOWING_T__64_IN_total_constraint_1929 )
 
         tree_for_string_literal331 = @adaptor.create_with_payload( string_literal331 )
         @adaptor.add_child( root_0, tree_for_string_literal331 )
 
-        @state.following.push( TOKENS_FOLLOWING_total_statement_IN_total_constraint_1927 )
+        @state.following.push( TOKENS_FOLLOWING_total_statement_IN_total_constraint_1931 )
         total_statement332 = total_statement
         @state.following.pop
         @adaptor.add_child( root_0, total_statement332.tree )
-        char_literal333 = match( T__39, TOKENS_FOLLOWING_T__39_IN_total_constraint_1929 )
+        char_literal333 = match( T__40, TOKENS_FOLLOWING_T__40_IN_total_constraint_1933 )
 
         tree_for_char_literal333 = @adaptor.create_with_payload( char_literal333 )
         @adaptor.add_child( root_0, tree_for_char_literal333 )
 
-        @state.following.push( TOKENS_FOLLOWING_binary_comp_IN_total_constraint_1931 )
+        @state.following.push( TOKENS_FOLLOWING_binary_comp_IN_total_constraint_1935 )
         binary_comp334 = binary_comp
         @state.following.pop
         @adaptor.add_child( root_0, binary_comp334.tree )
-        __NUMBER335__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_total_constraint_1933 )
+        __NUMBER335__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_total_constraint_1937 )
 
         tree_for_NUMBER335 = @adaptor.create_with_payload( __NUMBER335__ )
         @adaptor.add_child( root_0, tree_for_NUMBER335 )
@@ -6975,15 +6981,15 @@ module SfpLang
 
 
         # at line 671:4: reference equals_op value
-        @state.following.push( TOKENS_FOLLOWING_reference_IN_total_statement_1944 )
+        @state.following.push( TOKENS_FOLLOWING_reference_IN_total_statement_1948 )
         reference336 = reference
         @state.following.pop
         @adaptor.add_child( root_0, reference336.tree )
-        @state.following.push( TOKENS_FOLLOWING_equals_op_IN_total_statement_1946 )
+        @state.following.push( TOKENS_FOLLOWING_equals_op_IN_total_statement_1950 )
         equals_op337 = equals_op
         @state.following.pop
         @adaptor.add_child( root_0, equals_op337.tree )
-        @state.following.push( TOKENS_FOLLOWING_value_IN_total_statement_1948 )
+        @state.following.push( TOKENS_FOLLOWING_value_IN_total_statement_1952 )
         value338 = value
         @state.following.pop
         @adaptor.add_child( root_0, value338.tree )
@@ -7048,7 +7054,7 @@ module SfpLang
 
 
           # at line 675:4: NUMBER
-          __NUMBER339__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_comp_value_1963 )
+          __NUMBER339__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_comp_value_1967 )
 
           tree_for_NUMBER339 = @adaptor.create_with_payload( __NUMBER339__ )
           @adaptor.add_child( root_0, tree_for_NUMBER339 )
@@ -7062,7 +7068,7 @@ module SfpLang
 
 
           # at line 677:4: reference
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_comp_value_1972 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_comp_value_1976 )
           reference340 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference340.tree )
@@ -7119,7 +7125,7 @@ module SfpLang
 
 
         # at line 682:4: 'if' conditional_constraint_if_part conditional_constraint_then_part
-        string_literal341 = match( T__28, TOKENS_FOLLOWING_T__28_IN_conditional_constraint_1991 )
+        string_literal341 = match( T__29, TOKENS_FOLLOWING_T__29_IN_conditional_constraint_1995 )
 
         tree_for_string_literal341 = @adaptor.create_with_payload( string_literal341 )
         @adaptor.add_child( root_0, tree_for_string_literal341 )
@@ -7134,11 +7140,11 @@ module SfpLang
         			@now = @now[id]
         		
         # <-- action
-        @state.following.push( TOKENS_FOLLOWING_conditional_constraint_if_part_IN_conditional_constraint_1999 )
+        @state.following.push( TOKENS_FOLLOWING_conditional_constraint_if_part_IN_conditional_constraint_2003 )
         conditional_constraint_if_part342 = conditional_constraint_if_part
         @state.following.pop
         @adaptor.add_child( root_0, conditional_constraint_if_part342.tree )
-        @state.following.push( TOKENS_FOLLOWING_conditional_constraint_then_part_IN_conditional_constraint_2003 )
+        @state.following.push( TOKENS_FOLLOWING_conditional_constraint_then_part_IN_conditional_constraint_2007 )
         conditional_constraint_then_part343 = conditional_constraint_then_part
         @state.following.pop
         @adaptor.add_child( root_0, conditional_constraint_then_part343.tree )
@@ -7202,7 +7208,7 @@ module SfpLang
         alt_127 = 2
         look_127_0 = @input.peek( 1 )
 
-        if ( look_127_0 == ID || look_127_0 == T__28 || look_127_0 == T__57 || look_127_0 == T__63 )
+        if ( look_127_0 == ID || look_127_0 == T__29 || look_127_0 == T__58 || look_127_0 == T__64 )
           alt_127 = 1
         elsif ( look_127_0 == T__20 )
           alt_127 = 2
@@ -7215,7 +7221,7 @@ module SfpLang
 
 
           # at line 697:4: constraint_statement ( NL )*
-          @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_conditional_constraint_if_part_2018 )
+          @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_conditional_constraint_if_part_2022 )
           constraint_statement344 = constraint_statement
           @state.following.pop
           @adaptor.add_child( root_0, constraint_statement344.tree )
@@ -7231,7 +7237,7 @@ module SfpLang
             case alt_124
             when 1
               # at line 697:25: NL
-              __NL345__ = match( NL, TOKENS_FOLLOWING_NL_IN_conditional_constraint_if_part_2020 )
+              __NL345__ = match( NL, TOKENS_FOLLOWING_NL_IN_conditional_constraint_if_part_2024 )
 
               tree_for_NL345 = @adaptor.create_with_payload( __NL345__ )
               @adaptor.add_child( root_0, tree_for_NL345 )
@@ -7257,7 +7263,7 @@ module SfpLang
 
 
           # at line 706:4: '{' ( NL )+ constraint_body '}' ( NL )*
-          char_literal346 = match( T__20, TOKENS_FOLLOWING_T__20_IN_conditional_constraint_if_part_2030 )
+          char_literal346 = match( T__20, TOKENS_FOLLOWING_T__20_IN_conditional_constraint_if_part_2034 )
 
           tree_for_char_literal346 = @adaptor.create_with_payload( char_literal346 )
           @adaptor.add_child( root_0, tree_for_char_literal346 )
@@ -7282,7 +7288,7 @@ module SfpLang
             case alt_125
             when 1
               # at line 712:3: NL
-              __NL347__ = match( NL, TOKENS_FOLLOWING_NL_IN_conditional_constraint_if_part_2038 )
+              __NL347__ = match( NL, TOKENS_FOLLOWING_NL_IN_conditional_constraint_if_part_2042 )
 
               tree_for_NL347 = @adaptor.create_with_payload( __NL347__ )
               @adaptor.add_child( root_0, tree_for_NL347 )
@@ -7298,11 +7304,11 @@ module SfpLang
             match_count_125 += 1
           end
 
-          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_conditional_constraint_if_part_2041 )
+          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_conditional_constraint_if_part_2045 )
           constraint_body348 = constraint_body
           @state.following.pop
           @adaptor.add_child( root_0, constraint_body348.tree )
-          char_literal349 = match( T__21, TOKENS_FOLLOWING_T__21_IN_conditional_constraint_if_part_2045 )
+          char_literal349 = match( T__21, TOKENS_FOLLOWING_T__21_IN_conditional_constraint_if_part_2049 )
 
           tree_for_char_literal349 = @adaptor.create_with_payload( char_literal349 )
           @adaptor.add_child( root_0, tree_for_char_literal349 )
@@ -7319,7 +7325,7 @@ module SfpLang
             case alt_126
             when 1
               # at line 713:7: NL
-              __NL350__ = match( NL, TOKENS_FOLLOWING_NL_IN_conditional_constraint_if_part_2047 )
+              __NL350__ = match( NL, TOKENS_FOLLOWING_NL_IN_conditional_constraint_if_part_2051 )
 
               tree_for_NL350 = @adaptor.create_with_payload( __NL350__ )
               @adaptor.add_child( root_0, tree_for_NL350 )
@@ -7390,10 +7396,10 @@ module SfpLang
         alt_129 = 2
         look_129_0 = @input.peek( 1 )
 
-        if ( look_129_0 == T__29 )
+        if ( look_129_0 == T__30 )
           look_129_1 = @input.peek( 2 )
 
-          if ( look_129_1 == ID || look_129_1 == T__28 || look_129_1 == T__57 || look_129_1 == T__63 )
+          if ( look_129_1 == ID || look_129_1 == T__29 || look_129_1 == T__58 || look_129_1 == T__64 )
             alt_129 = 1
           elsif ( look_129_1 == T__20 )
             alt_129 = 2
@@ -7409,12 +7415,12 @@ module SfpLang
 
 
           # at line 718:4: 'then' constraint_statement
-          string_literal351 = match( T__29, TOKENS_FOLLOWING_T__29_IN_conditional_constraint_then_part_2063 )
+          string_literal351 = match( T__30, TOKENS_FOLLOWING_T__30_IN_conditional_constraint_then_part_2067 )
 
           tree_for_string_literal351 = @adaptor.create_with_payload( string_literal351 )
           @adaptor.add_child( root_0, tree_for_string_literal351 )
 
-          @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_conditional_constraint_then_part_2065 )
+          @state.following.push( TOKENS_FOLLOWING_constraint_statement_IN_conditional_constraint_then_part_2069 )
           constraint_statement352 = constraint_statement
           @state.following.pop
           @adaptor.add_child( root_0, constraint_statement352.tree )
@@ -7434,7 +7440,7 @@ module SfpLang
 
 
           # at line 727:4: 'then' '{' ( NL )+ constraint_body '}'
-          string_literal353 = match( T__29, TOKENS_FOLLOWING_T__29_IN_conditional_constraint_then_part_2074 )
+          string_literal353 = match( T__30, TOKENS_FOLLOWING_T__30_IN_conditional_constraint_then_part_2078 )
 
           tree_for_string_literal353 = @adaptor.create_with_payload( string_literal353 )
           @adaptor.add_child( root_0, tree_for_string_literal353 )
@@ -7449,7 +7455,7 @@ module SfpLang
           			@now = @now[id]
           		
           # <-- action
-          char_literal354 = match( T__20, TOKENS_FOLLOWING_T__20_IN_conditional_constraint_then_part_2082 )
+          char_literal354 = match( T__20, TOKENS_FOLLOWING_T__20_IN_conditional_constraint_then_part_2086 )
 
           tree_for_char_literal354 = @adaptor.create_with_payload( char_literal354 )
           @adaptor.add_child( root_0, tree_for_char_literal354 )
@@ -7467,7 +7473,7 @@ module SfpLang
             case alt_128
             when 1
               # at line 736:7: NL
-              __NL355__ = match( NL, TOKENS_FOLLOWING_NL_IN_conditional_constraint_then_part_2084 )
+              __NL355__ = match( NL, TOKENS_FOLLOWING_NL_IN_conditional_constraint_then_part_2088 )
 
               tree_for_NL355 = @adaptor.create_with_payload( __NL355__ )
               @adaptor.add_child( root_0, tree_for_NL355 )
@@ -7483,11 +7489,11 @@ module SfpLang
             match_count_128 += 1
           end
 
-          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_conditional_constraint_then_part_2087 )
+          @state.following.push( TOKENS_FOLLOWING_constraint_body_IN_conditional_constraint_then_part_2091 )
           constraint_body356 = constraint_body
           @state.following.pop
           @adaptor.add_child( root_0, constraint_body356.tree )
-          char_literal357 = match( T__21, TOKENS_FOLLOWING_T__21_IN_conditional_constraint_then_part_2089 )
+          char_literal357 = match( T__21, TOKENS_FOLLOWING_T__21_IN_conditional_constraint_then_part_2093 )
 
           tree_for_char_literal357 = @adaptor.create_with_payload( char_literal357 )
           @adaptor.add_child( root_0, tree_for_char_literal357 )
@@ -7550,7 +7556,7 @@ module SfpLang
           alt_132 = 2
           look_132_0 = @input.peek( 1 )
 
-          if ( look_132_0 == ID || look_132_0 == T__50 || look_132_0 == T__65 )
+          if ( look_132_0 == ID || look_132_0 == T__51 || look_132_0 == T__66 )
             alt_132 = 1
 
           end
@@ -7561,9 +7567,9 @@ module SfpLang
             alt_130 = 2
             look_130_0 = @input.peek( 1 )
 
-            if ( look_130_0 == ID || look_130_0 == T__65 )
+            if ( look_130_0 == ID || look_130_0 == T__66 )
               alt_130 = 1
-            elsif ( look_130_0 == T__50 )
+            elsif ( look_130_0 == T__51 )
               alt_130 = 2
             else
               raise NoViableAlternative( "", 130, 0 )
@@ -7571,7 +7577,7 @@ module SfpLang
             case alt_130
             when 1
               # at line 742:6: mutation
-              @state.following.push( TOKENS_FOLLOWING_mutation_IN_effect_body_2111 )
+              @state.following.push( TOKENS_FOLLOWING_mutation_IN_effect_body_2115 )
               mutation358 = mutation
               @state.following.pop
               @adaptor.add_child( root_0, mutation358.tree )
@@ -7581,7 +7587,7 @@ module SfpLang
 
             when 2
               # at line 744:6: mutation_iterator
-              @state.following.push( TOKENS_FOLLOWING_mutation_iterator_IN_effect_body_2124 )
+              @state.following.push( TOKENS_FOLLOWING_mutation_iterator_IN_effect_body_2128 )
               mutation_iterator359 = mutation_iterator
               @state.following.pop
               @adaptor.add_child( root_0, mutation_iterator359.tree )
@@ -7600,7 +7606,7 @@ module SfpLang
               case alt_131
               when 1
                 # at line 746:3: NL
-                __NL360__ = match( NL, TOKENS_FOLLOWING_NL_IN_effect_body_2133 )
+                __NL360__ = match( NL, TOKENS_FOLLOWING_NL_IN_effect_body_2137 )
 
                 tree_for_NL360 = @adaptor.create_with_payload( __NL360__ )
                 @adaptor.add_child( root_0, tree_for_NL360 )
@@ -7684,21 +7690,21 @@ module SfpLang
 
 
         # at line 750:4: 'foreach' path 'as' ID ( NL )* '{' ( NL )+ ( mutation ( NL )+ )* '}'
-        string_literal361 = match( T__50, TOKENS_FOLLOWING_T__50_IN_mutation_iterator_2148 )
+        string_literal361 = match( T__51, TOKENS_FOLLOWING_T__51_IN_mutation_iterator_2152 )
 
         tree_for_string_literal361 = @adaptor.create_with_payload( string_literal361 )
         @adaptor.add_child( root_0, tree_for_string_literal361 )
 
-        @state.following.push( TOKENS_FOLLOWING_path_IN_mutation_iterator_2150 )
+        @state.following.push( TOKENS_FOLLOWING_path_IN_mutation_iterator_2154 )
         path362 = path
         @state.following.pop
         @adaptor.add_child( root_0, path362.tree )
-        string_literal363 = match( T__51, TOKENS_FOLLOWING_T__51_IN_mutation_iterator_2152 )
+        string_literal363 = match( T__52, TOKENS_FOLLOWING_T__52_IN_mutation_iterator_2156 )
 
         tree_for_string_literal363 = @adaptor.create_with_payload( string_literal363 )
         @adaptor.add_child( root_0, tree_for_string_literal363 )
 
-        __ID364__ = match( ID, TOKENS_FOLLOWING_ID_IN_mutation_iterator_2154 )
+        __ID364__ = match( ID, TOKENS_FOLLOWING_ID_IN_mutation_iterator_2158 )
 
         tree_for_ID364 = @adaptor.create_with_payload( __ID364__ )
         @adaptor.add_child( root_0, tree_for_ID364 )
@@ -7715,7 +7721,7 @@ module SfpLang
           case alt_133
           when 1
             # at line 750:27: NL
-            __NL365__ = match( NL, TOKENS_FOLLOWING_NL_IN_mutation_iterator_2156 )
+            __NL365__ = match( NL, TOKENS_FOLLOWING_NL_IN_mutation_iterator_2160 )
 
             tree_for_NL365 = @adaptor.create_with_payload( __NL365__ )
             @adaptor.add_child( root_0, tree_for_NL365 )
@@ -7725,7 +7731,7 @@ module SfpLang
             break # out of loop for decision 133
           end
         end # loop for decision 133
-        char_literal366 = match( T__20, TOKENS_FOLLOWING_T__20_IN_mutation_iterator_2159 )
+        char_literal366 = match( T__20, TOKENS_FOLLOWING_T__20_IN_mutation_iterator_2163 )
 
         tree_for_char_literal366 = @adaptor.create_with_payload( char_literal366 )
         @adaptor.add_child( root_0, tree_for_char_literal366 )
@@ -7743,7 +7749,7 @@ module SfpLang
           case alt_134
           when 1
             # at line 750:35: NL
-            __NL367__ = match( NL, TOKENS_FOLLOWING_NL_IN_mutation_iterator_2161 )
+            __NL367__ = match( NL, TOKENS_FOLLOWING_NL_IN_mutation_iterator_2165 )
 
             tree_for_NL367 = @adaptor.create_with_payload( __NL367__ )
             @adaptor.add_child( root_0, tree_for_NL367 )
@@ -7775,14 +7781,14 @@ module SfpLang
           alt_136 = 2
           look_136_0 = @input.peek( 1 )
 
-          if ( look_136_0 == ID || look_136_0 == T__65 )
+          if ( look_136_0 == ID || look_136_0 == T__66 )
             alt_136 = 1
 
           end
           case alt_136
           when 1
             # at line 760:4: mutation ( NL )+
-            @state.following.push( TOKENS_FOLLOWING_mutation_IN_mutation_iterator_2171 )
+            @state.following.push( TOKENS_FOLLOWING_mutation_IN_mutation_iterator_2175 )
             mutation368 = mutation
             @state.following.pop
             @adaptor.add_child( root_0, mutation368.tree )
@@ -7802,7 +7808,7 @@ module SfpLang
               case alt_135
               when 1
                 # at line 762:3: NL
-                __NL369__ = match( NL, TOKENS_FOLLOWING_NL_IN_mutation_iterator_2179 )
+                __NL369__ = match( NL, TOKENS_FOLLOWING_NL_IN_mutation_iterator_2183 )
 
                 tree_for_NL369 = @adaptor.create_with_payload( __NL369__ )
                 @adaptor.add_child( root_0, tree_for_NL369 )
@@ -7823,7 +7829,7 @@ module SfpLang
             break # out of loop for decision 136
           end
         end # loop for decision 136
-        char_literal370 = match( T__21, TOKENS_FOLLOWING_T__21_IN_mutation_iterator_2186 )
+        char_literal370 = match( T__21, TOKENS_FOLLOWING_T__21_IN_mutation_iterator_2190 )
 
         tree_for_char_literal370 = @adaptor.create_with_payload( char_literal370 )
         @adaptor.add_child( root_0, tree_for_char_literal370 )
@@ -7914,15 +7920,15 @@ module SfpLang
 
 
           # at line 768:4: reference equals_op value
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_mutation_2205 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_mutation_2209 )
           reference371 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference371.tree )
-          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_mutation_2207 )
+          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_mutation_2211 )
           equals_op372 = equals_op
           @state.following.pop
           @adaptor.add_child( root_0, equals_op372.tree )
-          @state.following.push( TOKENS_FOLLOWING_value_IN_mutation_2209 )
+          @state.following.push( TOKENS_FOLLOWING_value_IN_mutation_2213 )
           value373 = value
           @state.following.pop
           @adaptor.add_child( root_0, value373.tree )
@@ -7941,15 +7947,15 @@ module SfpLang
 
 
           # at line 776:4: reference equals_op NULL
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_mutation_2218 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_mutation_2222 )
           reference374 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference374.tree )
-          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_mutation_2220 )
+          @state.following.push( TOKENS_FOLLOWING_equals_op_IN_mutation_2224 )
           equals_op375 = equals_op
           @state.following.pop
           @adaptor.add_child( root_0, equals_op375.tree )
-          __NULL376__ = match( NULL, TOKENS_FOLLOWING_NULL_IN_mutation_2222 )
+          __NULL376__ = match( NULL, TOKENS_FOLLOWING_NULL_IN_mutation_2226 )
 
           tree_for_NULL376 = @adaptor.create_with_payload( __NULL376__ )
           @adaptor.add_child( root_0, tree_for_NULL376 )
@@ -7969,15 +7975,15 @@ module SfpLang
 
 
           # at line 784:4: reference binary_op NUMBER
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_mutation_2231 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_mutation_2235 )
           reference377 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference377.tree )
-          @state.following.push( TOKENS_FOLLOWING_binary_op_IN_mutation_2233 )
+          @state.following.push( TOKENS_FOLLOWING_binary_op_IN_mutation_2237 )
           binary_op378 = binary_op
           @state.following.pop
           @adaptor.add_child( root_0, binary_op378.tree )
-          __NUMBER379__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_mutation_2235 )
+          __NUMBER379__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_mutation_2239 )
 
           tree_for_NUMBER379 = @adaptor.create_with_payload( __NUMBER379__ )
           @adaptor.add_child( root_0, tree_for_NUMBER379 )
@@ -7997,21 +8003,21 @@ module SfpLang
 
 
           # at line 792:4: reference 'is' 'new' path ( object_body )?
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_mutation_2244 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_mutation_2248 )
           reference380 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference380.tree )
-          string_literal381 = match( T__58, TOKENS_FOLLOWING_T__58_IN_mutation_2246 )
+          string_literal381 = match( T__59, TOKENS_FOLLOWING_T__59_IN_mutation_2250 )
 
           tree_for_string_literal381 = @adaptor.create_with_payload( string_literal381 )
           @adaptor.add_child( root_0, tree_for_string_literal381 )
 
-          string_literal382 = match( T__64, TOKENS_FOLLOWING_T__64_IN_mutation_2248 )
+          string_literal382 = match( T__65, TOKENS_FOLLOWING_T__65_IN_mutation_2252 )
 
           tree_for_string_literal382 = @adaptor.create_with_payload( string_literal382 )
           @adaptor.add_child( root_0, tree_for_string_literal382 )
 
-          @state.following.push( TOKENS_FOLLOWING_path_IN_mutation_2250 )
+          @state.following.push( TOKENS_FOLLOWING_path_IN_mutation_2254 )
           path383 = path
           @state.following.pop
           @adaptor.add_child( root_0, path383.tree )
@@ -8036,7 +8042,7 @@ module SfpLang
           case alt_137
           when 1
             # at line 802:3: object_body
-            @state.following.push( TOKENS_FOLLOWING_object_body_IN_mutation_2258 )
+            @state.following.push( TOKENS_FOLLOWING_object_body_IN_mutation_2262 )
             object_body384 = object_body
             @state.following.pop
             @adaptor.add_child( root_0, object_body384.tree )
@@ -8056,12 +8062,12 @@ module SfpLang
 
 
           # at line 809:4: 'delete' path
-          string_literal385 = match( T__65, TOKENS_FOLLOWING_T__65_IN_mutation_2268 )
+          string_literal385 = match( T__66, TOKENS_FOLLOWING_T__66_IN_mutation_2272 )
 
           tree_for_string_literal385 = @adaptor.create_with_payload( string_literal385 )
           @adaptor.add_child( root_0, tree_for_string_literal385 )
 
-          @state.following.push( TOKENS_FOLLOWING_path_IN_mutation_2270 )
+          @state.following.push( TOKENS_FOLLOWING_path_IN_mutation_2274 )
           path386 = path
           @state.following.pop
           @adaptor.add_child( root_0, path386.tree )
@@ -8081,20 +8087,20 @@ module SfpLang
 
 
           # at line 818:4: reference 'add(' value ')'
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_mutation_2279 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_mutation_2283 )
           reference387 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference387.tree )
-          string_literal388 = match( T__66, TOKENS_FOLLOWING_T__66_IN_mutation_2281 )
+          string_literal388 = match( T__67, TOKENS_FOLLOWING_T__67_IN_mutation_2285 )
 
           tree_for_string_literal388 = @adaptor.create_with_payload( string_literal388 )
           @adaptor.add_child( root_0, tree_for_string_literal388 )
 
-          @state.following.push( TOKENS_FOLLOWING_value_IN_mutation_2283 )
+          @state.following.push( TOKENS_FOLLOWING_value_IN_mutation_2287 )
           value389 = value
           @state.following.pop
           @adaptor.add_child( root_0, value389.tree )
-          char_literal390 = match( T__39, TOKENS_FOLLOWING_T__39_IN_mutation_2285 )
+          char_literal390 = match( T__40, TOKENS_FOLLOWING_T__40_IN_mutation_2289 )
 
           tree_for_char_literal390 = @adaptor.create_with_payload( char_literal390 )
           @adaptor.add_child( root_0, tree_for_char_literal390 )
@@ -8114,20 +8120,20 @@ module SfpLang
 
 
           # at line 826:4: reference 'remove(' value ')'
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_mutation_2294 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_mutation_2298 )
           reference391 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference391.tree )
-          string_literal392 = match( T__67, TOKENS_FOLLOWING_T__67_IN_mutation_2296 )
+          string_literal392 = match( T__68, TOKENS_FOLLOWING_T__68_IN_mutation_2300 )
 
           tree_for_string_literal392 = @adaptor.create_with_payload( string_literal392 )
           @adaptor.add_child( root_0, tree_for_string_literal392 )
 
-          @state.following.push( TOKENS_FOLLOWING_value_IN_mutation_2298 )
+          @state.following.push( TOKENS_FOLLOWING_value_IN_mutation_2302 )
           value393 = value
           @state.following.pop
           @adaptor.add_child( root_0, value393.tree )
-          char_literal394 = match( T__39, TOKENS_FOLLOWING_T__39_IN_mutation_2300 )
+          char_literal394 = match( T__40, TOKENS_FOLLOWING_T__40_IN_mutation_2304 )
 
           tree_for_char_literal394 = @adaptor.create_with_payload( char_literal394 )
           @adaptor.add_child( root_0, tree_for_char_literal394 )
@@ -8197,7 +8203,7 @@ module SfpLang
 
 
         # at line 837:4: '(' ( set_item ( ',' ( NL )* set_item )* )? ')'
-        char_literal395 = match( T__37, TOKENS_FOLLOWING_T__37_IN_set_value_2319 )
+        char_literal395 = match( T__38, TOKENS_FOLLOWING_T__38_IN_set_value_2323 )
 
         tree_for_char_literal395 = @adaptor.create_with_payload( char_literal395 )
         @adaptor.add_child( root_0, tree_for_char_literal395 )
@@ -8209,13 +8215,13 @@ module SfpLang
         alt_141 = 2
         look_141_0 = @input.peek( 1 )
 
-        if ( look_141_0.between?( STRING, MULTILINE_STRING ) || look_141_0 == T__37 )
+        if ( look_141_0.between?( STRING, MULTILINE_STRING ) || look_141_0 == T__38 )
           alt_141 = 1
         end
         case alt_141
         when 1
           # at line 839:4: set_item ( ',' ( NL )* set_item )*
-          @state.following.push( TOKENS_FOLLOWING_set_item_IN_set_value_2328 )
+          @state.following.push( TOKENS_FOLLOWING_set_item_IN_set_value_2332 )
           set_item396 = set_item
           @state.following.pop
           @adaptor.add_child( root_0, set_item396.tree )
@@ -8224,14 +8230,14 @@ module SfpLang
             alt_140 = 2
             look_140_0 = @input.peek( 1 )
 
-            if ( look_140_0 == T__38 )
+            if ( look_140_0 == T__39 )
               alt_140 = 1
 
             end
             case alt_140
             when 1
               # at line 839:14: ',' ( NL )* set_item
-              char_literal397 = match( T__38, TOKENS_FOLLOWING_T__38_IN_set_value_2331 )
+              char_literal397 = match( T__39, TOKENS_FOLLOWING_T__39_IN_set_value_2335 )
 
               tree_for_char_literal397 = @adaptor.create_with_payload( char_literal397 )
               @adaptor.add_child( root_0, tree_for_char_literal397 )
@@ -8248,7 +8254,7 @@ module SfpLang
                 case alt_139
                 when 1
                   # at line 839:18: NL
-                  __NL398__ = match( NL, TOKENS_FOLLOWING_NL_IN_set_value_2333 )
+                  __NL398__ = match( NL, TOKENS_FOLLOWING_NL_IN_set_value_2337 )
 
                   tree_for_NL398 = @adaptor.create_with_payload( __NL398__ )
                   @adaptor.add_child( root_0, tree_for_NL398 )
@@ -8258,7 +8264,7 @@ module SfpLang
                   break # out of loop for decision 139
                 end
               end # loop for decision 139
-              @state.following.push( TOKENS_FOLLOWING_set_item_IN_set_value_2336 )
+              @state.following.push( TOKENS_FOLLOWING_set_item_IN_set_value_2340 )
               set_item399 = set_item
               @state.following.pop
               @adaptor.add_child( root_0, set_item399.tree )
@@ -8272,7 +8278,7 @@ module SfpLang
         # --> action
         	return_value.val = @set	
         # <-- action
-        char_literal400 = match( T__39, TOKENS_FOLLOWING_T__39_IN_set_value_2348 )
+        char_literal400 = match( T__40, TOKENS_FOLLOWING_T__40_IN_set_value_2352 )
 
         tree_for_char_literal400 = @adaptor.create_with_payload( char_literal400 )
         @adaptor.add_child( root_0, tree_for_char_literal400 )
@@ -8323,7 +8329,7 @@ module SfpLang
 
 
         # at line 845:4: value
-        @state.following.push( TOKENS_FOLLOWING_value_IN_set_item_2359 )
+        @state.following.push( TOKENS_FOLLOWING_value_IN_set_item_2363 )
         value401 = value
         @state.following.pop
         @adaptor.add_child( root_0, value401.tree )
@@ -8379,7 +8385,7 @@ module SfpLang
         case look_142 = @input.peek( 1 )
         when STRING, NUMBER, BOOLEAN, MULTILINE_STRING then alt_142 = 1
         when ID then alt_142 = 2
-        when T__37 then alt_142 = 3
+        when T__38 then alt_142 = 3
         else
           raise NoViableAlternative( "", 142, 0 )
         end
@@ -8389,7 +8395,7 @@ module SfpLang
 
 
           # at line 850:4: primitive_value
-          @state.following.push( TOKENS_FOLLOWING_primitive_value_IN_value_2378 )
+          @state.following.push( TOKENS_FOLLOWING_primitive_value_IN_value_2382 )
           primitive_value402 = primitive_value
           @state.following.pop
           @adaptor.add_child( root_0, primitive_value402.tree )
@@ -8405,7 +8411,7 @@ module SfpLang
 
 
           # at line 855:4: reference
-          @state.following.push( TOKENS_FOLLOWING_reference_IN_value_2387 )
+          @state.following.push( TOKENS_FOLLOWING_reference_IN_value_2391 )
           reference403 = reference
           @state.following.pop
           @adaptor.add_child( root_0, reference403.tree )
@@ -8421,7 +8427,7 @@ module SfpLang
 
 
           # at line 860:4: set_value
-          @state.following.push( TOKENS_FOLLOWING_set_value_IN_value_2396 )
+          @state.following.push( TOKENS_FOLLOWING_set_value_IN_value_2400 )
           set_value404 = set_value
           @state.following.pop
           @adaptor.add_child( root_0, set_value404.tree )
@@ -8497,7 +8503,7 @@ module SfpLang
 
 
           # at line 868:4: BOOLEAN
-          __BOOLEAN405__ = match( BOOLEAN, TOKENS_FOLLOWING_BOOLEAN_IN_primitive_value_2415 )
+          __BOOLEAN405__ = match( BOOLEAN, TOKENS_FOLLOWING_BOOLEAN_IN_primitive_value_2419 )
 
           tree_for_BOOLEAN405 = @adaptor.create_with_payload( __BOOLEAN405__ )
           @adaptor.add_child( root_0, tree_for_BOOLEAN405 )
@@ -8518,7 +8524,7 @@ module SfpLang
 
 
           # at line 877:4: NUMBER
-          __NUMBER406__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_primitive_value_2424 )
+          __NUMBER406__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_primitive_value_2428 )
 
           tree_for_NUMBER406 = @adaptor.create_with_payload( __NUMBER406__ )
           @adaptor.add_child( root_0, tree_for_NUMBER406 )
@@ -8535,7 +8541,7 @@ module SfpLang
 
 
           # at line 882:4: STRING
-          __STRING407__ = match( STRING, TOKENS_FOLLOWING_STRING_IN_primitive_value_2433 )
+          __STRING407__ = match( STRING, TOKENS_FOLLOWING_STRING_IN_primitive_value_2437 )
 
           tree_for_STRING407 = @adaptor.create_with_payload( __STRING407__ )
           @adaptor.add_child( root_0, tree_for_STRING407 )
@@ -8552,7 +8558,7 @@ module SfpLang
 
 
           # at line 887:4: MULTILINE_STRING
-          __MULTILINE_STRING408__ = match( MULTILINE_STRING, TOKENS_FOLLOWING_MULTILINE_STRING_IN_primitive_value_2442 )
+          __MULTILINE_STRING408__ = match( MULTILINE_STRING, TOKENS_FOLLOWING_MULTILINE_STRING_IN_primitive_value_2446 )
 
           tree_for_MULTILINE_STRING408 = @adaptor.create_with_payload( __MULTILINE_STRING408__ )
           @adaptor.add_child( root_0, tree_for_MULTILINE_STRING408 )
@@ -8615,7 +8621,7 @@ module SfpLang
 
 
         # at line 895:4: ID ( '.' ID )*
-        __ID409__ = match( ID, TOKENS_FOLLOWING_ID_IN_path_2457 )
+        __ID409__ = match( ID, TOKENS_FOLLOWING_ID_IN_path_2461 )
 
         tree_for_ID409 = @adaptor.create_with_payload( __ID409__ )
         @adaptor.add_child( root_0, tree_for_ID409 )
@@ -8625,19 +8631,19 @@ module SfpLang
           alt_144 = 2
           look_144_0 = @input.peek( 1 )
 
-          if ( look_144_0 == T__68 )
+          if ( look_144_0 == T__69 )
             alt_144 = 1
 
           end
           case alt_144
           when 1
             # at line 895:7: '.' ID
-            char_literal410 = match( T__68, TOKENS_FOLLOWING_T__68_IN_path_2459 )
+            char_literal410 = match( T__69, TOKENS_FOLLOWING_T__69_IN_path_2463 )
 
             tree_for_char_literal410 = @adaptor.create_with_payload( char_literal410 )
             @adaptor.add_child( root_0, tree_for_char_literal410 )
 
-            __ID411__ = match( ID, TOKENS_FOLLOWING_ID_IN_path_2460 )
+            __ID411__ = match( ID, TOKENS_FOLLOWING_ID_IN_path_2464 )
 
             tree_for_ID411 = @adaptor.create_with_payload( __ID411__ )
             @adaptor.add_child( root_0, tree_for_ID411 )
@@ -8696,7 +8702,7 @@ module SfpLang
 
 
         # at line 899:4: id_ref ( '.' id_ref )*
-        @state.following.push( TOKENS_FOLLOWING_id_ref_IN_path_with_index_2473 )
+        @state.following.push( TOKENS_FOLLOWING_id_ref_IN_path_with_index_2477 )
         id_ref412 = id_ref
         @state.following.pop
         @adaptor.add_child( root_0, id_ref412.tree )
@@ -8705,19 +8711,19 @@ module SfpLang
           alt_145 = 2
           look_145_0 = @input.peek( 1 )
 
-          if ( look_145_0 == T__68 )
+          if ( look_145_0 == T__69 )
             alt_145 = 1
 
           end
           case alt_145
           when 1
             # at line 899:11: '.' id_ref
-            char_literal413 = match( T__68, TOKENS_FOLLOWING_T__68_IN_path_with_index_2475 )
+            char_literal413 = match( T__69, TOKENS_FOLLOWING_T__69_IN_path_with_index_2479 )
 
             tree_for_char_literal413 = @adaptor.create_with_payload( char_literal413 )
             @adaptor.add_child( root_0, tree_for_char_literal413 )
 
-            @state.following.push( TOKENS_FOLLOWING_id_ref_IN_path_with_index_2476 )
+            @state.following.push( TOKENS_FOLLOWING_id_ref_IN_path_with_index_2480 )
             id_ref414 = id_ref
             @state.following.pop
             @adaptor.add_child( root_0, id_ref414.tree )
@@ -8779,7 +8785,7 @@ module SfpLang
 
 
         # at line 903:4: ID ( '[' NUMBER ']' )?
-        __ID415__ = match( ID, TOKENS_FOLLOWING_ID_IN_id_ref_2489 )
+        __ID415__ = match( ID, TOKENS_FOLLOWING_ID_IN_id_ref_2493 )
 
         tree_for_ID415 = @adaptor.create_with_payload( __ID415__ )
         @adaptor.add_child( root_0, tree_for_ID415 )
@@ -8788,23 +8794,23 @@ module SfpLang
         alt_146 = 2
         look_146_0 = @input.peek( 1 )
 
-        if ( look_146_0 == T__26 )
+        if ( look_146_0 == T__27 )
           alt_146 = 1
         end
         case alt_146
         when 1
           # at line 903:7: '[' NUMBER ']'
-          char_literal416 = match( T__26, TOKENS_FOLLOWING_T__26_IN_id_ref_2491 )
+          char_literal416 = match( T__27, TOKENS_FOLLOWING_T__27_IN_id_ref_2495 )
 
           tree_for_char_literal416 = @adaptor.create_with_payload( char_literal416 )
           @adaptor.add_child( root_0, tree_for_char_literal416 )
 
-          __NUMBER417__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_id_ref_2493 )
+          __NUMBER417__ = match( NUMBER, TOKENS_FOLLOWING_NUMBER_IN_id_ref_2497 )
 
           tree_for_NUMBER417 = @adaptor.create_with_payload( __NUMBER417__ )
           @adaptor.add_child( root_0, tree_for_NUMBER417 )
 
-          char_literal418 = match( T__27, TOKENS_FOLLOWING_T__27_IN_id_ref_2495 )
+          char_literal418 = match( T__28, TOKENS_FOLLOWING_T__28_IN_id_ref_2499 )
 
           tree_for_char_literal418 = @adaptor.create_with_payload( char_literal418 )
           @adaptor.add_child( root_0, tree_for_char_literal418 )
@@ -8857,7 +8863,7 @@ module SfpLang
 
 
         # at line 907:4: path_with_index
-        @state.following.push( TOKENS_FOLLOWING_path_with_index_IN_reference_2512 )
+        @state.following.push( TOKENS_FOLLOWING_path_with_index_IN_reference_2516 )
         path_with_index419 = path_with_index
         @state.following.pop
         @adaptor.add_child( root_0, path_with_index419.tree )
@@ -8912,12 +8918,12 @@ module SfpLang
 
 
         # at line 912:4: 'isref' path
-        string_literal420 = match( T__69, TOKENS_FOLLOWING_T__69_IN_reference_type_2531 )
+        string_literal420 = match( T__70, TOKENS_FOLLOWING_T__70_IN_reference_type_2535 )
 
         tree_for_string_literal420 = @adaptor.create_with_payload( string_literal420 )
         @adaptor.add_child( root_0, tree_for_string_literal420 )
 
-        @state.following.push( TOKENS_FOLLOWING_path_IN_reference_type_2533 )
+        @state.following.push( TOKENS_FOLLOWING_path_IN_reference_type_2537 )
         path421 = path
         @state.following.pop
         @adaptor.add_child( root_0, path421.tree )
@@ -8976,12 +8982,12 @@ module SfpLang
 
 
         # at line 921:4: 'isset' path
-        string_literal422 = match( T__41, TOKENS_FOLLOWING_T__41_IN_set_type_2552 )
+        string_literal422 = match( T__42, TOKENS_FOLLOWING_T__42_IN_set_type_2556 )
 
         tree_for_string_literal422 = @adaptor.create_with_payload( string_literal422 )
         @adaptor.add_child( root_0, tree_for_string_literal422 )
 
-        @state.following.push( TOKENS_FOLLOWING_path_IN_set_type_2554 )
+        @state.following.push( TOKENS_FOLLOWING_path_IN_set_type_2558 )
         path423 = path
         @state.following.pop
         @adaptor.add_child( root_0, path423.tree )
@@ -9040,7 +9046,7 @@ module SfpLang
 
 
         # at line 931:4: 'either'
-        string_literal424 = match( T__70, TOKENS_FOLLOWING_T__70_IN_probability_op_2569 )
+        string_literal424 = match( T__71, TOKENS_FOLLOWING_T__71_IN_probability_op_2573 )
 
         tree_for_string_literal424 = @adaptor.create_with_payload( string_literal424 )
         @adaptor.add_child( root_0, tree_for_string_literal424 )
@@ -9093,7 +9099,7 @@ module SfpLang
 
         # at line 
         set425 = @input.look
-        if @input.peek(1) == T__55 || @input.peek(1) == T__58
+        if @input.peek(1) == T__56 || @input.peek(1) == T__59
           @input.consume
           @adaptor.add_child( root_0, @adaptor.create_with_payload( set425 ) )
           @state.error_recovery = false
@@ -9151,7 +9157,7 @@ module SfpLang
 
         # at line 
         set426 = @input.look
-        if @input.peek( 1 ).between?( T__60, T__61 ) || @input.peek(1) == T__71
+        if @input.peek( 1 ).between?( T__61, T__62 ) || @input.peek(1) == T__72
           @input.consume
           @adaptor.add_child( root_0, @adaptor.create_with_payload( set426 ) )
           @state.error_recovery = false
@@ -9209,7 +9215,7 @@ module SfpLang
 
         # at line 
         set427 = @input.look
-        if @input.peek( 1 ).between?( T__72, T__75 )
+        if @input.peek( 1 ).between?( T__73, T__76 )
           @input.consume
           @adaptor.add_child( root_0, @adaptor.create_with_payload( set427 ) )
           @state.error_recovery = false
@@ -9267,7 +9273,7 @@ module SfpLang
 
         # at line 
         set428 = @input.look
-        if @input.peek( 1 ).between?( T__76, T__79 )
+        if @input.peek( 1 ).between?( T__77, T__80 )
           @input.consume
           @adaptor.add_child( root_0, @adaptor.create_with_payload( set428 ) )
           @state.error_recovery = false
@@ -9304,10 +9310,10 @@ module SfpLang
     class DFA7 < ANTLR3::DFA
       EOT = unpack( 13, -1 )
       EOF = unpack( 13, -1 )
-      MIN = unpack( 1, 7, 1, 26, 1, 8, 1, 7, 1, 5, 1, 27, 1, 26, 2, -1, 
-                    1, 55, 1, 8, 1, 27, 1, 55 )
-      MAX = unpack( 1, 7, 1, 68, 1, 8, 1, 7, 1, 37, 1, 27, 1, 68, 2, -1, 
-                    1, 68, 1, 8, 1, 27, 1, 68 )
+      MIN = unpack( 1, 7, 1, 27, 1, 8, 1, 7, 1, 5, 1, 28, 1, 27, 2, -1, 
+                    1, 56, 1, 8, 1, 28, 1, 56 )
+      MAX = unpack( 1, 7, 1, 69, 1, 8, 1, 7, 1, 38, 1, 28, 1, 69, 2, -1, 
+                    1, 69, 1, 8, 1, 28, 1, 69 )
       ACCEPT = unpack( 7, -1, 1, 1, 1, 2, 4, -1 )
       SPECIAL = unpack( 13, -1 )
       TRANSITION = [
@@ -9315,7 +9321,7 @@ module SfpLang
         unpack( 1, 2, 28, -1, 1, 4, 2, -1, 1, 4, 9, -1, 1, 3 ),
         unpack( 1, 5 ),
         unpack( 1, 6 ),
-        unpack( 1, 8, 5, 7, 26, -1, 1, 7 ),
+        unpack( 1, 8, 5, 7, 27, -1, 1, 7 ),
         unpack( 1, 9 ),
         unpack( 1, 10, 28, -1, 1, 4, 2, -1, 1, 4, 9, -1, 1, 3 ),
         unpack(  ),
@@ -9345,12 +9351,12 @@ module SfpLang
       EOT = unpack( 4, -1 )
       EOF = unpack( 4, -1 )
       MIN = unpack( 2, 4, 2, -1 )
-      MAX = unpack( 1, 30, 1, 31, 2, -1 )
+      MAX = unpack( 1, 31, 1, 32, 2, -1 )
       ACCEPT = unpack( 2, -1, 1, 1, 1, 2 )
       SPECIAL = unpack( 4, -1 )
       TRANSITION = [
-        unpack( 1, 1, 25, -1, 1, 2 ),
-        unpack( 1, 1, 2, -1, 1, 3, 13, -1, 1, 3, 6, -1, 1, 3, 1, -1, 1, 
+        unpack( 1, 1, 26, -1, 1, 2 ),
+        unpack( 1, 1, 2, -1, 1, 3, 13, -1, 1, 3, 7, -1, 1, 3, 1, -1, 1, 
                  2, 1, 3 ),
         unpack(  ),
         unpack(  )
@@ -9375,22 +9381,22 @@ module SfpLang
       EOT = unpack( 9, -1 )
       EOF = unpack( 9, -1 )
       MIN = unpack( 1, 7, 1, 4, 3, -1, 1, 7, 1, 4, 1, -1, 1, 4 )
-      MAX = unpack( 1, 63, 1, 79, 3, -1, 1, 7, 1, 63, 1, -1, 1, 79 )
+      MAX = unpack( 1, 64, 1, 80, 3, -1, 1, 7, 1, 64, 1, -1, 1, 80 )
       ACCEPT = unpack( 2, -1, 1, 1, 1, 3, 1, 4, 2, -1, 1, 2, 1, -1 )
       SPECIAL = unpack( 9, -1 )
       TRANSITION = [
-        unpack( 1, 1, 20, -1, 1, 2, 21, -1, 1, 3, 1, -1, 3, 4, 2, -1, 1, 
+        unpack( 1, 1, 21, -1, 1, 2, 21, -1, 1, 3, 1, -1, 3, 4, 2, -1, 1, 
                 2, 5, -1, 1, 2 ),
-        unpack( 1, 6, 15, -1, 1, 7, 5, -1, 1, 2, 28, -1, 1, 2, 1, -1, 6, 
+        unpack( 1, 6, 15, -1, 1, 7, 6, -1, 1, 2, 28, -1, 1, 2, 1, -1, 6, 
                  2, 5, -1, 1, 5, 2, -1, 1, 2, 4, -1, 4, 2 ),
         unpack(  ),
         unpack(  ),
         unpack(  ),
         unpack( 1, 8 ),
-        unpack( 1, 6, 2, -1, 1, 2, 12, -1, 1, 7, 1, 2, 6, -1, 1, 2, 16, 
+        unpack( 1, 6, 2, -1, 1, 2, 12, -1, 1, 7, 1, 2, 7, -1, 1, 2, 16, 
                  -1, 6, 2, 1, -1, 3, 2, 2, -1, 1, 2, 5, -1, 1, 2 ),
         unpack(  ),
-        unpack( 1, 6, 15, -1, 1, 7, 5, -1, 1, 2, 28, -1, 1, 2, 1, -1, 6, 
+        unpack( 1, 6, 15, -1, 1, 7, 6, -1, 1, 2, 28, -1, 1, 2, 1, -1, 6, 
                  2, 5, -1, 1, 5, 2, -1, 1, 2, 4, -1, 4, 2 )
       ].freeze
       
@@ -9413,22 +9419,22 @@ module SfpLang
       EOT = unpack( 9, -1 )
       EOF = unpack( 9, -1 )
       MIN = unpack( 1, 7, 1, 4, 3, -1, 1, 7, 1, 4, 1, -1, 1, 4 )
-      MAX = unpack( 1, 63, 1, 79, 3, -1, 1, 7, 1, 63, 1, -1, 1, 79 )
+      MAX = unpack( 1, 64, 1, 80, 3, -1, 1, 7, 1, 64, 1, -1, 1, 80 )
       ACCEPT = unpack( 2, -1, 1, 1, 1, 3, 1, 4, 2, -1, 1, 2, 1, -1 )
       SPECIAL = unpack( 9, -1 )
       TRANSITION = [
-        unpack( 1, 1, 20, -1, 1, 2, 21, -1, 1, 3, 1, -1, 3, 4, 2, -1, 1, 
+        unpack( 1, 1, 21, -1, 1, 2, 21, -1, 1, 3, 1, -1, 3, 4, 2, -1, 1, 
                 2, 5, -1, 1, 2 ),
-        unpack( 1, 6, 15, -1, 1, 7, 5, -1, 1, 2, 28, -1, 1, 2, 1, -1, 6, 
+        unpack( 1, 6, 15, -1, 1, 7, 6, -1, 1, 2, 28, -1, 1, 2, 1, -1, 6, 
                  2, 5, -1, 1, 5, 2, -1, 1, 2, 4, -1, 4, 2 ),
         unpack(  ),
         unpack(  ),
         unpack(  ),
         unpack( 1, 8 ),
-        unpack( 1, 6, 2, -1, 1, 2, 12, -1, 1, 7, 1, 2, 6, -1, 1, 2, 21, 
+        unpack( 1, 6, 2, -1, 1, 2, 12, -1, 1, 7, 1, 2, 7, -1, 1, 2, 21, 
                  -1, 1, 2, 1, -1, 3, 2, 2, -1, 1, 2, 5, -1, 1, 2 ),
         unpack(  ),
-        unpack( 1, 6, 15, -1, 1, 7, 5, -1, 1, 2, 28, -1, 1, 2, 1, -1, 6, 
+        unpack( 1, 6, 15, -1, 1, 7, 6, -1, 1, 2, 28, -1, 1, 2, 1, -1, 6, 
                  2, 5, -1, 1, 5, 2, -1, 1, 2, 4, -1, 4, 2 )
       ].freeze
       
@@ -9451,18 +9457,18 @@ module SfpLang
       EOT = unpack( 26, -1 )
       EOF = unpack( 26, -1 )
       MIN = unpack( 1, 7, 1, 4, 3, -1, 1, 8, 1, 7, 1, -1, 3, 5, 1, -1, 1, 
-                    5, 3, -1, 1, 27, 1, 4, 4, -1, 1, 4, 1, 8, 1, 27, 1, 
+                    5, 3, -1, 1, 28, 1, 4, 4, -1, 1, 4, 1, 8, 1, 28, 1, 
                     4 )
-      MAX = unpack( 1, 63, 1, 79, 3, -1, 1, 8, 1, 7, 1, -1, 2, 59, 1, 37, 
-                    1, -1, 1, 37, 3, -1, 1, 27, 1, 79, 4, -1, 1, 79, 1, 
-                    8, 1, 27, 1, 79 )
+      MAX = unpack( 1, 64, 1, 80, 3, -1, 1, 8, 1, 7, 1, -1, 2, 60, 1, 38, 
+                    1, -1, 1, 38, 3, -1, 1, 28, 1, 80, 4, -1, 1, 80, 1, 
+                    8, 1, 28, 1, 80 )
       ACCEPT = unpack( 2, -1, 1, 2, 1, 7, 1, 12, 2, -1, 1, 1, 3, -1, 1, 
                        8, 1, -1, 1, 9, 1, 10, 1, 11, 2, -1, 1, 3, 1, 4, 
                        1, 5, 1, 6, 4, -1 )
       SPECIAL = unpack( 26, -1 )
       TRANSITION = [
-        unpack( 1, 1, 20, -1, 1, 3, 28, -1, 1, 2, 5, -1, 1, 4 ),
-        unpack( 1, 7, 21, -1, 1, 5, 2, -1, 1, 7, 25, -1, 1, 10, 1, -1, 
+        unpack( 1, 1, 21, -1, 1, 3, 28, -1, 1, 2, 5, -1, 1, 4 ),
+        unpack( 1, 7, 22, -1, 1, 5, 2, -1, 1, 7, 25, -1, 1, 10, 1, -1, 
                  1, 13, 1, 8, 1, 11, 2, 9, 1, 14, 5, -1, 1, 6, 2, -1, 1, 
                  12, 4, -1, 4, 15 ),
         unpack(  ),
@@ -9471,28 +9477,28 @@ module SfpLang
         unpack( 1, 16 ),
         unpack( 1, 17 ),
         unpack(  ),
-        unpack( 1, 19, 5, 18, 26, -1, 1, 18, 21, -1, 1, 11 ),
-        unpack( 1, 21, 5, 20, 26, -1, 1, 20, 21, -1, 1, 13 ),
-        unpack( 1, 19, 5, 18, 26, -1, 1, 18 ),
+        unpack( 1, 19, 5, 18, 27, -1, 1, 18, 21, -1, 1, 11 ),
+        unpack( 1, 21, 5, 20, 27, -1, 1, 20, 21, -1, 1, 13 ),
+        unpack( 1, 19, 5, 18, 27, -1, 1, 18 ),
         unpack(  ),
-        unpack( 1, 21, 5, 20, 26, -1, 1, 20 ),
+        unpack( 1, 21, 5, 20, 27, -1, 1, 20 ),
         unpack(  ),
         unpack(  ),
         unpack(  ),
         unpack( 1, 22 ),
-        unpack( 1, 7, 21, -1, 1, 23, 2, -1, 1, 7, 25, -1, 1, 10, 1, -1, 
+        unpack( 1, 7, 22, -1, 1, 23, 2, -1, 1, 7, 25, -1, 1, 10, 1, -1, 
                  1, 13, 1, 8, 1, 11, 2, 9, 1, 14, 5, -1, 1, 6, 2, -1, 1, 
                  12, 4, -1, 4, 15 ),
         unpack(  ),
         unpack(  ),
         unpack(  ),
         unpack(  ),
-        unpack( 1, 7, 24, -1, 1, 7, 25, -1, 1, 10, 1, -1, 1, 13, 1, 8, 
+        unpack( 1, 7, 25, -1, 1, 7, 25, -1, 1, 10, 1, -1, 1, 13, 1, 8, 
                  1, 11, 2, 9, 1, 14, 5, -1, 1, 6, 2, -1, 1, 12, 4, -1, 4, 
                  15 ),
         unpack( 1, 24 ),
         unpack( 1, 25 ),
-        unpack( 1, 7, 24, -1, 1, 7, 25, -1, 1, 10, 1, -1, 1, 13, 1, 8, 
+        unpack( 1, 7, 25, -1, 1, 7, 25, -1, 1, 10, 1, -1, 1, 13, 1, 8, 
                  1, 11, 2, 9, 1, 14, 5, -1, 1, 6, 2, -1, 1, 12, 4, -1, 4, 
                  15 )
       ].freeze
@@ -9515,23 +9521,23 @@ module SfpLang
     class DFA138 < ANTLR3::DFA
       EOT = unpack( 19, -1 )
       EOF = unpack( 19, -1 )
-      MIN = unpack( 1, 7, 1, 26, 1, -1, 1, 8, 1, 7, 1, 5, 1, -1, 1, 5, 2, 
-                    -1, 1, 27, 1, 26, 3, -1, 1, 55, 1, 8, 1, 27, 1, 55 )
-      MAX = unpack( 1, 65, 1, 75, 1, -1, 1, 8, 1, 7, 1, 64, 1, -1, 1, 37, 
-                    2, -1, 1, 27, 1, 75, 3, -1, 1, 75, 1, 8, 1, 27, 1, 75 )
+      MIN = unpack( 1, 7, 1, 27, 1, -1, 1, 8, 1, 7, 1, 5, 1, -1, 1, 5, 2, 
+                    -1, 1, 28, 1, 27, 3, -1, 1, 56, 1, 8, 1, 28, 1, 56 )
+      MAX = unpack( 1, 66, 1, 76, 1, -1, 1, 8, 1, 7, 1, 65, 1, -1, 1, 38, 
+                    2, -1, 1, 28, 1, 76, 3, -1, 1, 76, 1, 8, 1, 28, 1, 76 )
       ACCEPT = unpack( 2, -1, 1, 5, 3, -1, 1, 3, 1, -1, 1, 6, 1, 7, 2, -1, 
                        1, 4, 1, 1, 1, 2, 4, -1 )
       SPECIAL = unpack( 19, -1 )
       TRANSITION = [
-        unpack( 1, 1, 57, -1, 1, 2 ),
+        unpack( 1, 1, 58, -1, 1, 2 ),
         unpack( 1, 3, 28, -1, 1, 7, 2, -1, 1, 5, 7, -1, 1, 8, 1, 9, 1, 
                  4, 3, -1, 4, 6 ),
         unpack(  ),
         unpack( 1, 10 ),
         unpack( 1, 11 ),
-        unpack( 1, 14, 5, 13, 26, -1, 1, 13, 26, -1, 1, 12 ),
+        unpack( 1, 14, 5, 13, 27, -1, 1, 13, 26, -1, 1, 12 ),
         unpack(  ),
-        unpack( 1, 14, 5, 13, 26, -1, 1, 13 ),
+        unpack( 1, 14, 5, 13, 27, -1, 1, 13 ),
         unpack(  ),
         unpack(  ),
         unpack( 1, 15 ),
@@ -9575,21 +9581,21 @@ module SfpLang
       @dfa138 = DFA138.new( self, 138 )
 
     end
-    TOKENS_FOLLOWING_NL_IN_sfp_49 = Set[ 1, 4, 7, 18, 22, 23, 36, 43 ]
-    TOKENS_FOLLOWING_include_IN_sfp_52 = Set[ 1, 7, 18, 22, 23, 36, 43 ]
-    TOKENS_FOLLOWING_header_IN_sfp_55 = Set[ 1, 7, 22, 23, 36, 43 ]
-    TOKENS_FOLLOWING_mmutation_IN_sfp_65 = Set[ 1, 7, 22, 43 ]
-    TOKENS_FOLLOWING_object_def_IN_sfp_69 = Set[ 1, 4, 7, 22, 43 ]
-    TOKENS_FOLLOWING_NL_IN_sfp_71 = Set[ 1, 4, 7, 22, 43 ]
-    TOKENS_FOLLOWING_state_IN_sfp_76 = Set[ 1, 7, 22, 43 ]
-    TOKENS_FOLLOWING_constraint_IN_sfp_80 = Set[ 1, 7, 22, 43 ]
-    TOKENS_FOLLOWING_goal_constraint_IN_sfp_84 = Set[ 1, 7, 22, 43 ]
-    TOKENS_FOLLOWING_composite_IN_sfp_88 = Set[ 1, 7, 22, 43 ]
-    TOKENS_FOLLOWING_reference_IN_mmutation_102 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_mmutation_104 = Set[ 6, 7, 8, 9, 10, 37 ]
+    TOKENS_FOLLOWING_NL_IN_sfp_49 = Set[ 1, 4, 7, 18, 22, 23, 24, 37, 44 ]
+    TOKENS_FOLLOWING_include_IN_sfp_52 = Set[ 1, 7, 18, 22, 23, 24, 37, 44 ]
+    TOKENS_FOLLOWING_header_IN_sfp_55 = Set[ 1, 7, 22, 23, 24, 37, 44 ]
+    TOKENS_FOLLOWING_mmutation_IN_sfp_65 = Set[ 1, 7, 22, 44 ]
+    TOKENS_FOLLOWING_object_def_IN_sfp_69 = Set[ 1, 4, 7, 22, 44 ]
+    TOKENS_FOLLOWING_NL_IN_sfp_71 = Set[ 1, 4, 7, 22, 44 ]
+    TOKENS_FOLLOWING_state_IN_sfp_76 = Set[ 1, 7, 22, 44 ]
+    TOKENS_FOLLOWING_constraint_IN_sfp_80 = Set[ 1, 7, 22, 44 ]
+    TOKENS_FOLLOWING_goal_constraint_IN_sfp_84 = Set[ 1, 7, 22, 44 ]
+    TOKENS_FOLLOWING_composite_IN_sfp_88 = Set[ 1, 7, 22, 44 ]
+    TOKENS_FOLLOWING_reference_IN_mmutation_102 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_mmutation_104 = Set[ 6, 7, 8, 9, 10, 38 ]
     TOKENS_FOLLOWING_value_IN_mmutation_106 = Set[ 4 ]
     TOKENS_FOLLOWING_NL_IN_mmutation_108 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_reference_IN_mmutation_118 = Set[ 55, 58 ]
+    TOKENS_FOLLOWING_reference_IN_mmutation_118 = Set[ 56, 59 ]
     TOKENS_FOLLOWING_equals_op_IN_mmutation_120 = Set[ 5 ]
     TOKENS_FOLLOWING_NULL_IN_mmutation_122 = Set[ 1 ]
     TOKENS_FOLLOWING_T__18_IN_include_137 = Set[ 6 ]
@@ -9613,392 +9619,392 @@ module SfpLang
     TOKENS_FOLLOWING_constraint_IN_composite_246 = Set[ 7, 21 ]
     TOKENS_FOLLOWING_T__21_IN_composite_251 = Set[ 1, 4 ]
     TOKENS_FOLLOWING_NL_IN_composite_253 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__23_IN_class_definition_269 = Set[ 7 ]
-    TOKENS_FOLLOWING_ID_IN_class_definition_271 = Set[ 1, 4, 20, 24 ]
-    TOKENS_FOLLOWING_extends_class_IN_class_definition_280 = Set[ 1, 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_class_definition_294 = Set[ 4, 7, 21, 23, 36 ]
-    TOKENS_FOLLOWING_NL_IN_class_definition_296 = Set[ 4, 7, 21, 23, 36 ]
-    TOKENS_FOLLOWING_attribute_IN_class_definition_301 = Set[ 7, 21, 23, 36 ]
-    TOKENS_FOLLOWING_procedure_IN_class_definition_305 = Set[ 7, 21, 23, 36 ]
-    TOKENS_FOLLOWING_T__21_IN_class_definition_310 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_NL_IN_class_definition_314 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__24_IN_extends_class_335 = Set[ 7 ]
-    TOKENS_FOLLOWING_path_IN_extends_class_337 = Set[ 1 ]
-    TOKENS_FOLLOWING_ID_IN_attribute_352 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_attribute_354 = Set[ 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_value_IN_attribute_356 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_attribute_358 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_ID_IN_attribute_368 = Set[ 69 ]
-    TOKENS_FOLLOWING_reference_type_IN_attribute_370 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_attribute_372 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_ID_IN_attribute_382 = Set[ 41 ]
-    TOKENS_FOLLOWING_set_type_IN_attribute_384 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_attribute_386 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_ID_IN_attribute_396 = Set[ 70 ]
-    TOKENS_FOLLOWING_probability_op_IN_attribute_398 = Set[ 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_set_value_IN_attribute_400 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_attribute_402 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_object_def_IN_attribute_412 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_attribute_414 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_ID_IN_object_def_426 = Set[ 1, 20, 25 ]
-    TOKENS_FOLLOWING_T__25_IN_object_def_435 = Set[ 7 ]
-    TOKENS_FOLLOWING_path_IN_object_def_437 = Set[ 1, 20, 26 ]
-    TOKENS_FOLLOWING_T__26_IN_object_def_439 = Set[ 8 ]
-    TOKENS_FOLLOWING_NUMBER_IN_object_def_441 = Set[ 27 ]
-    TOKENS_FOLLOWING_T__27_IN_object_def_445 = Set[ 1, 20 ]
-    TOKENS_FOLLOWING_object_body_IN_object_def_460 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__20_IN_object_body_476 = Set[ 4, 7, 21, 28, 31 ]
-    TOKENS_FOLLOWING_NL_IN_object_body_478 = Set[ 4, 7, 21, 28, 31 ]
-    TOKENS_FOLLOWING_object_attribute_IN_object_body_483 = Set[ 7, 21, 28, 31 ]
-    TOKENS_FOLLOWING_state_dependency_IN_object_body_487 = Set[ 7, 21, 28, 31 ]
-    TOKENS_FOLLOWING_operator_IN_object_body_491 = Set[ 7, 21, 28, 31 ]
-    TOKENS_FOLLOWING_T__21_IN_object_body_496 = Set[ 1 ]
-    TOKENS_FOLLOWING_attribute_IN_object_attribute_507 = Set[ 1 ]
-    TOKENS_FOLLOWING_ID_IN_object_attribute_512 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_object_attribute_514 = Set[ 5 ]
-    TOKENS_FOLLOWING_NULL_IN_object_attribute_516 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_object_attribute_518 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__28_IN_state_dependency_534 = Set[ 7 ]
-    TOKENS_FOLLOWING_dep_effect_IN_state_dependency_538 = Set[ 4, 29 ]
-    TOKENS_FOLLOWING_NL_IN_state_dependency_540 = Set[ 4, 29 ]
-    TOKENS_FOLLOWING_T__29_IN_state_dependency_543 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_state_dependency_545 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_state_dependency_548 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_state_dependency_552 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_state_dependency_555 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_state_dependency_560 = Set[ 4, 30 ]
-    TOKENS_FOLLOWING_NL_IN_state_dependency_566 = Set[ 4, 30 ]
-    TOKENS_FOLLOWING_T__30_IN_state_dependency_569 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_state_dependency_571 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_state_dependency_574 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_state_dependency_578 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_state_dependency_581 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_state_dependency_585 = Set[ 4, 30 ]
-    TOKENS_FOLLOWING_NL_IN_state_dependency_591 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_reference_IN_dep_effect_603 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_dep_effect_605 = Set[ 5, 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_value_IN_dep_effect_612 = Set[ 1 ]
-    TOKENS_FOLLOWING_NULL_IN_dep_effect_618 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__31_IN_operator_634 = Set[ 7 ]
-    TOKENS_FOLLOWING_ID_IN_operator_636 = Set[ 20 ]
-    TOKENS_FOLLOWING_T__20_IN_operator_638 = Set[ 4, 32, 33, 34, 35 ]
-    TOKENS_FOLLOWING_NL_IN_operator_640 = Set[ 4, 32, 33, 34, 35 ]
-    TOKENS_FOLLOWING_T__32_IN_operator_651 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_operator_653 = Set[ 8 ]
-    TOKENS_FOLLOWING_NUMBER_IN_operator_655 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_operator_657 = Set[ 4, 32, 33, 34, 35 ]
-    TOKENS_FOLLOWING_op_conditions_IN_operator_676 = Set[ 4, 32, 33, 34, 35 ]
-    TOKENS_FOLLOWING_op_effects_IN_operator_679 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_operator_683 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_operator_685 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_ID_IN_op_param_701 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_op_param_703 = Set[ 7 ]
-    TOKENS_FOLLOWING_reference_IN_op_param_705 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_op_param_707 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_set_IN_op_conditions_723 = Set[ 20 ]
-    TOKENS_FOLLOWING_T__20_IN_op_conditions_731 = Set[ 4, 7, 21 ]
-    TOKENS_FOLLOWING_NL_IN_op_conditions_733 = Set[ 4, 7, 21 ]
-    TOKENS_FOLLOWING_op_statement_IN_op_conditions_742 = Set[ 7, 21 ]
-    TOKENS_FOLLOWING_T__21_IN_op_conditions_747 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_op_conditions_749 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__35_IN_op_effects_765 = Set[ 20 ]
-    TOKENS_FOLLOWING_T__20_IN_op_effects_767 = Set[ 4, 7, 21 ]
-    TOKENS_FOLLOWING_NL_IN_op_effects_769 = Set[ 4, 7, 21 ]
-    TOKENS_FOLLOWING_op_statement_IN_op_effects_778 = Set[ 7, 21 ]
-    TOKENS_FOLLOWING_T__21_IN_op_effects_783 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_op_effects_785 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_reference_IN_op_statement_801 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_op_statement_803 = Set[ 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_value_IN_op_statement_805 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_op_statement_807 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__36_IN_procedure_823 = Set[ 7 ]
-    TOKENS_FOLLOWING_ID_IN_procedure_825 = Set[ 20, 37 ]
-    TOKENS_FOLLOWING_parameters_IN_procedure_833 = Set[ 20 ]
-    TOKENS_FOLLOWING_T__20_IN_procedure_836 = Set[ 4, 32, 33, 34, 35, 42 ]
-    TOKENS_FOLLOWING_NL_IN_procedure_838 = Set[ 4, 32, 33, 34, 35, 42 ]
-    TOKENS_FOLLOWING_T__32_IN_procedure_846 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_procedure_848 = Set[ 8 ]
-    TOKENS_FOLLOWING_NUMBER_IN_procedure_850 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_procedure_860 = Set[ 4, 32, 33, 34, 35, 42 ]
-    TOKENS_FOLLOWING_conditions_IN_procedure_870 = Set[ 4, 32, 33, 34, 35, 42 ]
-    TOKENS_FOLLOWING_effects_IN_procedure_873 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_procedure_875 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_procedure_877 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__37_IN_parameters_893 = Set[ 7 ]
-    TOKENS_FOLLOWING_parameter_IN_parameters_895 = Set[ 38, 39 ]
-    TOKENS_FOLLOWING_T__38_IN_parameters_898 = Set[ 4, 7 ]
-    TOKENS_FOLLOWING_NL_IN_parameters_900 = Set[ 4, 7 ]
-    TOKENS_FOLLOWING_parameter_IN_parameters_903 = Set[ 38, 39 ]
-    TOKENS_FOLLOWING_T__39_IN_parameters_907 = Set[ 1 ]
-    TOKENS_FOLLOWING_ID_IN_parameter_919 = Set[ 69 ]
-    TOKENS_FOLLOWING_reference_type_IN_parameter_921 = Set[ 1 ]
-    TOKENS_FOLLOWING_ID_IN_parameter_930 = Set[ 40 ]
-    TOKENS_FOLLOWING_T__40_IN_parameter_932 = Set[ 7 ]
-    TOKENS_FOLLOWING_path_IN_parameter_934 = Set[ 1 ]
-    TOKENS_FOLLOWING_ID_IN_parameter_943 = Set[ 41 ]
-    TOKENS_FOLLOWING_T__41_IN_parameter_945 = Set[ 7 ]
-    TOKENS_FOLLOWING_path_IN_parameter_947 = Set[ 1 ]
-    TOKENS_FOLLOWING_set_IN_conditions_962 = Set[ 20 ]
-    TOKENS_FOLLOWING_T__20_IN_conditions_976 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_conditions_978 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_conditions_981 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_conditions_983 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_conditions_985 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_set_IN_effects_1002 = Set[ 20 ]
-    TOKENS_FOLLOWING_T__20_IN_effects_1016 = Set[ 4, 7, 21, 50, 65 ]
-    TOKENS_FOLLOWING_NL_IN_effects_1018 = Set[ 4, 7, 21, 50, 65 ]
-    TOKENS_FOLLOWING_effect_body_IN_effects_1024 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_effects_1029 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_effects_1031 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__43_IN_goal_constraint_1047 = Set[ 4, 20, 44 ]
-    TOKENS_FOLLOWING_T__44_IN_goal_constraint_1049 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_goal_constraint_1052 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_goal_constraint_1061 = Set[ 4, 7, 21, 28, 45, 46, 47, 48, 49, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_goal_constraint_1063 = Set[ 4, 7, 21, 28, 45, 46, 47, 48, 49, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_goal_body_IN_goal_constraint_1066 = Set[ 7, 21, 28, 45, 46, 47, 48, 49, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_T__21_IN_goal_constraint_1069 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_goal_constraint_1071 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_constraint_statement_IN_goal_body_1094 = Set[ 4 ]
-    TOKENS_FOLLOWING_constraint_namespace_IN_goal_body_1107 = Set[ 4 ]
-    TOKENS_FOLLOWING_constraint_iterator_IN_goal_body_1114 = Set[ 4 ]
-    TOKENS_FOLLOWING_constraint_class_quantification_IN_goal_body_1121 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1130 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__45_IN_goal_body_1137 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1139 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_goal_body_1148 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1150 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1153 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_goal_body_1155 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1157 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__46_IN_goal_body_1167 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1169 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_goal_body_1178 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1180 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1183 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_goal_body_1185 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1187 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__47_IN_goal_body_1201 = Set[ 8 ]
-    TOKENS_FOLLOWING_NUMBER_IN_goal_body_1203 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1205 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_goal_body_1214 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1216 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1219 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_goal_body_1221 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1223 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__48_IN_goal_body_1233 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1235 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_goal_body_1244 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1246 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1249 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_goal_body_1251 = Set[ 4, 29, 47 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1253 = Set[ 4, 29, 47 ]
-    TOKENS_FOLLOWING_T__29_IN_goal_body_1264 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__47_IN_goal_body_1271 = Set[ 8 ]
-    TOKENS_FOLLOWING_NUMBER_IN_goal_body_1273 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1285 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_goal_body_1294 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1296 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1299 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_goal_body_1301 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1303 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__49_IN_goal_body_1321 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1323 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_goal_body_1332 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1334 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1337 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_goal_body_1339 = Set[ 4, 29 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1341 = Set[ 4, 29 ]
-    TOKENS_FOLLOWING_T__29_IN_goal_body_1350 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1352 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_goal_body_1361 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1363 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1366 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_goal_body_1368 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_goal_body_1370 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__20_IN_nested_constraint_1390 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_nested_constraint_1392 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_nested_constraint_1395 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_nested_constraint_1397 = Set[ 1 ]
-    TOKENS_FOLLOWING_ID_IN_constraint_1408 = Set[ 44 ]
-    TOKENS_FOLLOWING_T__44_IN_constraint_1410 = Set[ 20 ]
-    TOKENS_FOLLOWING_T__20_IN_constraint_1418 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_1420 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_constraint_1423 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_constraint_1425 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_1427 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_constraint_statement_IN_constraint_body_1450 = Set[ 4 ]
-    TOKENS_FOLLOWING_constraint_namespace_IN_constraint_body_1463 = Set[ 4 ]
-    TOKENS_FOLLOWING_constraint_iterator_IN_constraint_body_1470 = Set[ 4 ]
-    TOKENS_FOLLOWING_constraint_class_quantification_IN_constraint_body_1477 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_body_1486 = Set[ 1, 4, 7, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_path_IN_constraint_namespace_1500 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_namespace_1502 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_constraint_namespace_1505 = Set[ 4, 7, 21, 28, 57, 63 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_namespace_1507 = Set[ 4, 7, 21, 28, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_statement_IN_constraint_namespace_1511 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_namespace_1519 = Set[ 4, 7, 21, 28, 57, 63 ]
-    TOKENS_FOLLOWING_T__21_IN_constraint_namespace_1524 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__50_IN_constraint_iterator_1535 = Set[ 37 ]
-    TOKENS_FOLLOWING_T__37_IN_constraint_iterator_1537 = Set[ 7 ]
-    TOKENS_FOLLOWING_path_IN_constraint_iterator_1539 = Set[ 51 ]
-    TOKENS_FOLLOWING_T__51_IN_constraint_iterator_1541 = Set[ 7 ]
-    TOKENS_FOLLOWING_ID_IN_constraint_iterator_1543 = Set[ 39 ]
-    TOKENS_FOLLOWING_T__39_IN_constraint_iterator_1545 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_iterator_1547 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_constraint_iterator_1550 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_iterator_1552 = Set[ 4, 7, 21, 28, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_statement_IN_constraint_iterator_1562 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_iterator_1570 = Set[ 4, 7, 21, 28, 57, 63 ]
-    TOKENS_FOLLOWING_T__21_IN_constraint_iterator_1577 = Set[ 1 ]
+    TOKENS_FOLLOWING_set_IN_class_definition_269 = Set[ 7 ]
+    TOKENS_FOLLOWING_ID_IN_class_definition_275 = Set[ 1, 4, 20, 25 ]
+    TOKENS_FOLLOWING_extends_class_IN_class_definition_284 = Set[ 1, 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_class_definition_298 = Set[ 4, 7, 21, 23, 24, 37 ]
+    TOKENS_FOLLOWING_NL_IN_class_definition_300 = Set[ 4, 7, 21, 23, 24, 37 ]
+    TOKENS_FOLLOWING_attribute_IN_class_definition_305 = Set[ 7, 21, 23, 24, 37 ]
+    TOKENS_FOLLOWING_procedure_IN_class_definition_309 = Set[ 7, 21, 23, 24, 37 ]
+    TOKENS_FOLLOWING_T__21_IN_class_definition_314 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_NL_IN_class_definition_318 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__25_IN_extends_class_339 = Set[ 7 ]
+    TOKENS_FOLLOWING_path_IN_extends_class_341 = Set[ 1 ]
+    TOKENS_FOLLOWING_ID_IN_attribute_356 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_attribute_358 = Set[ 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_value_IN_attribute_360 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_attribute_362 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_ID_IN_attribute_372 = Set[ 70 ]
+    TOKENS_FOLLOWING_reference_type_IN_attribute_374 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_attribute_376 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_ID_IN_attribute_386 = Set[ 42 ]
+    TOKENS_FOLLOWING_set_type_IN_attribute_388 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_attribute_390 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_ID_IN_attribute_400 = Set[ 71 ]
+    TOKENS_FOLLOWING_probability_op_IN_attribute_402 = Set[ 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_set_value_IN_attribute_404 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_attribute_406 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_object_def_IN_attribute_416 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_attribute_418 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_ID_IN_object_def_430 = Set[ 1, 20, 26 ]
+    TOKENS_FOLLOWING_T__26_IN_object_def_439 = Set[ 7 ]
+    TOKENS_FOLLOWING_path_IN_object_def_441 = Set[ 1, 20, 27 ]
+    TOKENS_FOLLOWING_T__27_IN_object_def_443 = Set[ 8 ]
+    TOKENS_FOLLOWING_NUMBER_IN_object_def_445 = Set[ 28 ]
+    TOKENS_FOLLOWING_T__28_IN_object_def_449 = Set[ 1, 20 ]
+    TOKENS_FOLLOWING_object_body_IN_object_def_464 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__20_IN_object_body_480 = Set[ 4, 7, 21, 29, 32 ]
+    TOKENS_FOLLOWING_NL_IN_object_body_482 = Set[ 4, 7, 21, 29, 32 ]
+    TOKENS_FOLLOWING_object_attribute_IN_object_body_487 = Set[ 7, 21, 29, 32 ]
+    TOKENS_FOLLOWING_state_dependency_IN_object_body_491 = Set[ 7, 21, 29, 32 ]
+    TOKENS_FOLLOWING_operator_IN_object_body_495 = Set[ 7, 21, 29, 32 ]
+    TOKENS_FOLLOWING_T__21_IN_object_body_500 = Set[ 1 ]
+    TOKENS_FOLLOWING_attribute_IN_object_attribute_511 = Set[ 1 ]
+    TOKENS_FOLLOWING_ID_IN_object_attribute_516 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_object_attribute_518 = Set[ 5 ]
+    TOKENS_FOLLOWING_NULL_IN_object_attribute_520 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_object_attribute_522 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__29_IN_state_dependency_538 = Set[ 7 ]
+    TOKENS_FOLLOWING_dep_effect_IN_state_dependency_542 = Set[ 4, 30 ]
+    TOKENS_FOLLOWING_NL_IN_state_dependency_544 = Set[ 4, 30 ]
+    TOKENS_FOLLOWING_T__30_IN_state_dependency_547 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_state_dependency_549 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_state_dependency_552 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_state_dependency_556 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_state_dependency_559 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_state_dependency_564 = Set[ 4, 31 ]
+    TOKENS_FOLLOWING_NL_IN_state_dependency_570 = Set[ 4, 31 ]
+    TOKENS_FOLLOWING_T__31_IN_state_dependency_573 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_state_dependency_575 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_state_dependency_578 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_state_dependency_582 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_state_dependency_585 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_state_dependency_589 = Set[ 4, 31 ]
+    TOKENS_FOLLOWING_NL_IN_state_dependency_595 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_reference_IN_dep_effect_607 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_dep_effect_609 = Set[ 5, 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_value_IN_dep_effect_616 = Set[ 1 ]
+    TOKENS_FOLLOWING_NULL_IN_dep_effect_622 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__32_IN_operator_638 = Set[ 7 ]
+    TOKENS_FOLLOWING_ID_IN_operator_640 = Set[ 20 ]
+    TOKENS_FOLLOWING_T__20_IN_operator_642 = Set[ 4, 33, 34, 35, 36 ]
+    TOKENS_FOLLOWING_NL_IN_operator_644 = Set[ 4, 33, 34, 35, 36 ]
+    TOKENS_FOLLOWING_T__33_IN_operator_655 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_operator_657 = Set[ 8 ]
+    TOKENS_FOLLOWING_NUMBER_IN_operator_659 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_operator_661 = Set[ 4, 33, 34, 35, 36 ]
+    TOKENS_FOLLOWING_op_conditions_IN_operator_680 = Set[ 4, 33, 34, 35, 36 ]
+    TOKENS_FOLLOWING_op_effects_IN_operator_683 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_operator_687 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_operator_689 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_ID_IN_op_param_705 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_op_param_707 = Set[ 7 ]
+    TOKENS_FOLLOWING_reference_IN_op_param_709 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_op_param_711 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_set_IN_op_conditions_727 = Set[ 20 ]
+    TOKENS_FOLLOWING_T__20_IN_op_conditions_735 = Set[ 4, 7, 21 ]
+    TOKENS_FOLLOWING_NL_IN_op_conditions_737 = Set[ 4, 7, 21 ]
+    TOKENS_FOLLOWING_op_statement_IN_op_conditions_746 = Set[ 7, 21 ]
+    TOKENS_FOLLOWING_T__21_IN_op_conditions_751 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_op_conditions_753 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__36_IN_op_effects_769 = Set[ 20 ]
+    TOKENS_FOLLOWING_T__20_IN_op_effects_771 = Set[ 4, 7, 21 ]
+    TOKENS_FOLLOWING_NL_IN_op_effects_773 = Set[ 4, 7, 21 ]
+    TOKENS_FOLLOWING_op_statement_IN_op_effects_782 = Set[ 7, 21 ]
+    TOKENS_FOLLOWING_T__21_IN_op_effects_787 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_op_effects_789 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_reference_IN_op_statement_805 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_op_statement_807 = Set[ 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_value_IN_op_statement_809 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_op_statement_811 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__37_IN_procedure_827 = Set[ 7 ]
+    TOKENS_FOLLOWING_ID_IN_procedure_829 = Set[ 20, 38 ]
+    TOKENS_FOLLOWING_parameters_IN_procedure_837 = Set[ 20 ]
+    TOKENS_FOLLOWING_T__20_IN_procedure_840 = Set[ 4, 33, 34, 35, 36, 43 ]
+    TOKENS_FOLLOWING_NL_IN_procedure_842 = Set[ 4, 33, 34, 35, 36, 43 ]
+    TOKENS_FOLLOWING_T__33_IN_procedure_850 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_procedure_852 = Set[ 8 ]
+    TOKENS_FOLLOWING_NUMBER_IN_procedure_854 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_procedure_864 = Set[ 4, 33, 34, 35, 36, 43 ]
+    TOKENS_FOLLOWING_conditions_IN_procedure_874 = Set[ 4, 33, 34, 35, 36, 43 ]
+    TOKENS_FOLLOWING_effects_IN_procedure_877 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_procedure_879 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_procedure_881 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__38_IN_parameters_897 = Set[ 7 ]
+    TOKENS_FOLLOWING_parameter_IN_parameters_899 = Set[ 39, 40 ]
+    TOKENS_FOLLOWING_T__39_IN_parameters_902 = Set[ 4, 7 ]
+    TOKENS_FOLLOWING_NL_IN_parameters_904 = Set[ 4, 7 ]
+    TOKENS_FOLLOWING_parameter_IN_parameters_907 = Set[ 39, 40 ]
+    TOKENS_FOLLOWING_T__40_IN_parameters_911 = Set[ 1 ]
+    TOKENS_FOLLOWING_ID_IN_parameter_923 = Set[ 70 ]
+    TOKENS_FOLLOWING_reference_type_IN_parameter_925 = Set[ 1 ]
+    TOKENS_FOLLOWING_ID_IN_parameter_934 = Set[ 41 ]
+    TOKENS_FOLLOWING_T__41_IN_parameter_936 = Set[ 7 ]
+    TOKENS_FOLLOWING_path_IN_parameter_938 = Set[ 1 ]
+    TOKENS_FOLLOWING_ID_IN_parameter_947 = Set[ 42 ]
+    TOKENS_FOLLOWING_T__42_IN_parameter_949 = Set[ 7 ]
+    TOKENS_FOLLOWING_path_IN_parameter_951 = Set[ 1 ]
+    TOKENS_FOLLOWING_set_IN_conditions_966 = Set[ 20 ]
+    TOKENS_FOLLOWING_T__20_IN_conditions_980 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_conditions_982 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_conditions_985 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_conditions_987 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_conditions_989 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_set_IN_effects_1006 = Set[ 20 ]
+    TOKENS_FOLLOWING_T__20_IN_effects_1020 = Set[ 4, 7, 21, 51, 66 ]
+    TOKENS_FOLLOWING_NL_IN_effects_1022 = Set[ 4, 7, 21, 51, 66 ]
+    TOKENS_FOLLOWING_effect_body_IN_effects_1028 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_effects_1033 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_effects_1035 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__44_IN_goal_constraint_1051 = Set[ 4, 20, 45 ]
+    TOKENS_FOLLOWING_T__45_IN_goal_constraint_1053 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_goal_constraint_1056 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_goal_constraint_1065 = Set[ 4, 7, 21, 29, 46, 47, 48, 49, 50, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_goal_constraint_1067 = Set[ 4, 7, 21, 29, 46, 47, 48, 49, 50, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_goal_body_IN_goal_constraint_1070 = Set[ 7, 21, 29, 46, 47, 48, 49, 50, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_T__21_IN_goal_constraint_1073 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_goal_constraint_1075 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_constraint_statement_IN_goal_body_1098 = Set[ 4 ]
+    TOKENS_FOLLOWING_constraint_namespace_IN_goal_body_1111 = Set[ 4 ]
+    TOKENS_FOLLOWING_constraint_iterator_IN_goal_body_1118 = Set[ 4 ]
+    TOKENS_FOLLOWING_constraint_class_quantification_IN_goal_body_1125 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1134 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__46_IN_goal_body_1141 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1143 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_goal_body_1152 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1154 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1157 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_goal_body_1159 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1161 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__47_IN_goal_body_1171 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1173 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_goal_body_1182 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1184 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1187 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_goal_body_1189 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1191 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__48_IN_goal_body_1205 = Set[ 8 ]
+    TOKENS_FOLLOWING_NUMBER_IN_goal_body_1207 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1209 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_goal_body_1218 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1220 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1223 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_goal_body_1225 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1227 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__49_IN_goal_body_1237 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1239 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_goal_body_1248 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1250 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1253 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_goal_body_1255 = Set[ 4, 30, 48 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1257 = Set[ 4, 30, 48 ]
+    TOKENS_FOLLOWING_T__30_IN_goal_body_1268 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__48_IN_goal_body_1275 = Set[ 8 ]
+    TOKENS_FOLLOWING_NUMBER_IN_goal_body_1277 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1289 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_goal_body_1298 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1300 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1303 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_goal_body_1305 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1307 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__50_IN_goal_body_1325 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1327 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_goal_body_1336 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1338 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1341 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_goal_body_1343 = Set[ 4, 30 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1345 = Set[ 4, 30 ]
+    TOKENS_FOLLOWING_T__30_IN_goal_body_1354 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1356 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_goal_body_1365 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1367 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_goal_body_1370 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_goal_body_1372 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_goal_body_1374 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__20_IN_nested_constraint_1394 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_nested_constraint_1396 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_nested_constraint_1399 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_nested_constraint_1401 = Set[ 1 ]
+    TOKENS_FOLLOWING_ID_IN_constraint_1412 = Set[ 45 ]
+    TOKENS_FOLLOWING_T__45_IN_constraint_1414 = Set[ 20 ]
+    TOKENS_FOLLOWING_T__20_IN_constraint_1422 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_1424 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_constraint_1427 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_constraint_1429 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_1431 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_constraint_statement_IN_constraint_body_1454 = Set[ 4 ]
+    TOKENS_FOLLOWING_constraint_namespace_IN_constraint_body_1467 = Set[ 4 ]
+    TOKENS_FOLLOWING_constraint_iterator_IN_constraint_body_1474 = Set[ 4 ]
+    TOKENS_FOLLOWING_constraint_class_quantification_IN_constraint_body_1481 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_body_1490 = Set[ 1, 4, 7, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_path_IN_constraint_namespace_1504 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_namespace_1506 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_constraint_namespace_1509 = Set[ 4, 7, 21, 29, 58, 64 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_namespace_1511 = Set[ 4, 7, 21, 29, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_statement_IN_constraint_namespace_1515 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_namespace_1523 = Set[ 4, 7, 21, 29, 58, 64 ]
+    TOKENS_FOLLOWING_T__21_IN_constraint_namespace_1528 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__51_IN_constraint_iterator_1539 = Set[ 38 ]
+    TOKENS_FOLLOWING_T__38_IN_constraint_iterator_1541 = Set[ 7 ]
+    TOKENS_FOLLOWING_path_IN_constraint_iterator_1543 = Set[ 52 ]
+    TOKENS_FOLLOWING_T__52_IN_constraint_iterator_1545 = Set[ 7 ]
+    TOKENS_FOLLOWING_ID_IN_constraint_iterator_1547 = Set[ 40 ]
+    TOKENS_FOLLOWING_T__40_IN_constraint_iterator_1549 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_iterator_1551 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_constraint_iterator_1554 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_iterator_1556 = Set[ 4, 7, 21, 29, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_statement_IN_constraint_iterator_1566 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_iterator_1574 = Set[ 4, 7, 21, 29, 58, 64 ]
+    TOKENS_FOLLOWING_T__21_IN_constraint_iterator_1581 = Set[ 1 ]
     TOKENS_FOLLOWING_set_IN_quantification_keyword_0 = Set[ 1 ]
-    TOKENS_FOLLOWING_quantification_keyword_IN_constraint_class_quantification_1613 = Set[ 37 ]
-    TOKENS_FOLLOWING_T__37_IN_constraint_class_quantification_1615 = Set[ 7 ]
-    TOKENS_FOLLOWING_path_IN_constraint_class_quantification_1617 = Set[ 51 ]
-    TOKENS_FOLLOWING_T__51_IN_constraint_class_quantification_1619 = Set[ 7 ]
-    TOKENS_FOLLOWING_ID_IN_constraint_class_quantification_1621 = Set[ 39 ]
-    TOKENS_FOLLOWING_T__39_IN_constraint_class_quantification_1623 = Set[ 4, 20, 55, 76, 77, 78, 79 ]
-    TOKENS_FOLLOWING_binary_comp_IN_constraint_class_quantification_1635 = Set[ 8 ]
-    TOKENS_FOLLOWING_T__55_IN_constraint_class_quantification_1648 = Set[ 8 ]
-    TOKENS_FOLLOWING_NUMBER_IN_constraint_class_quantification_1664 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1678 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_constraint_class_quantification_1681 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1683 = Set[ 4, 7, 21, 28, 50, 56, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_statement_IN_constraint_class_quantification_1690 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1700 = Set[ 4, 7, 21, 28, 50, 56, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_different_IN_constraint_class_quantification_1707 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1709 = Set[ 4, 7, 21, 28, 50, 56, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_iterator_IN_constraint_class_quantification_1716 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1718 = Set[ 4, 7, 21, 28, 50, 56, 57, 63 ]
-    TOKENS_FOLLOWING_T__21_IN_constraint_class_quantification_1726 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__56_IN_constraint_different_1745 = Set[ 37 ]
-    TOKENS_FOLLOWING_T__37_IN_constraint_different_1747 = Set[ 7 ]
-    TOKENS_FOLLOWING_path_IN_constraint_different_1749 = Set[ 39 ]
-    TOKENS_FOLLOWING_T__39_IN_constraint_different_1751 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_constraint_statement_1770 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__57_IN_constraint_statement_1779 = Set[ 7 ]
-    TOKENS_FOLLOWING_reference_IN_constraint_statement_1781 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_constraint_statement_1790 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_constraint_statement_1792 = Set[ 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_value_IN_constraint_statement_1794 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_constraint_statement_1803 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_constraint_statement_1805 = Set[ 5 ]
-    TOKENS_FOLLOWING_NULL_IN_constraint_statement_1807 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_constraint_statement_1816 = Set[ 60, 61, 71 ]
-    TOKENS_FOLLOWING_not_equals_op_IN_constraint_statement_1818 = Set[ 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_value_IN_constraint_statement_1820 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_constraint_statement_1829 = Set[ 60, 61, 71 ]
-    TOKENS_FOLLOWING_not_equals_op_IN_constraint_statement_1831 = Set[ 5 ]
-    TOKENS_FOLLOWING_NULL_IN_constraint_statement_1833 = Set[ 1 ]
-    TOKENS_FOLLOWING_conditional_constraint_IN_constraint_statement_1842 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_constraint_statement_1851 = Set[ 58, 59 ]
-    TOKENS_FOLLOWING_T__58_IN_constraint_statement_1853 = Set[ 59 ]
-    TOKENS_FOLLOWING_T__59_IN_constraint_statement_1856 = Set[ 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_set_value_IN_constraint_statement_1858 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_constraint_statement_1867 = Set[ 57, 60, 61 ]
-    TOKENS_FOLLOWING_set_IN_constraint_statement_1869 = Set[ 59 ]
-    TOKENS_FOLLOWING_T__59_IN_constraint_statement_1877 = Set[ 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_set_value_IN_constraint_statement_1879 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_constraint_statement_1888 = Set[ 62 ]
-    TOKENS_FOLLOWING_T__62_IN_constraint_statement_1890 = Set[ 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_value_IN_constraint_statement_1892 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_constraint_statement_1901 = Set[ 76, 77, 78, 79 ]
-    TOKENS_FOLLOWING_binary_comp_IN_constraint_statement_1903 = Set[ 7, 8 ]
-    TOKENS_FOLLOWING_comp_value_IN_constraint_statement_1905 = Set[ 1 ]
-    TOKENS_FOLLOWING_total_constraint_IN_constraint_statement_1914 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__63_IN_total_constraint_1925 = Set[ 7 ]
-    TOKENS_FOLLOWING_total_statement_IN_total_constraint_1927 = Set[ 39 ]
-    TOKENS_FOLLOWING_T__39_IN_total_constraint_1929 = Set[ 76, 77, 78, 79 ]
-    TOKENS_FOLLOWING_binary_comp_IN_total_constraint_1931 = Set[ 8 ]
-    TOKENS_FOLLOWING_NUMBER_IN_total_constraint_1933 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_total_statement_1944 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_total_statement_1946 = Set[ 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_value_IN_total_statement_1948 = Set[ 1 ]
-    TOKENS_FOLLOWING_NUMBER_IN_comp_value_1963 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_comp_value_1972 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__28_IN_conditional_constraint_1991 = Set[ 7, 20, 28, 57, 63 ]
-    TOKENS_FOLLOWING_conditional_constraint_if_part_IN_conditional_constraint_1999 = Set[ 29 ]
-    TOKENS_FOLLOWING_conditional_constraint_then_part_IN_conditional_constraint_2003 = Set[ 1 ]
-    TOKENS_FOLLOWING_constraint_statement_IN_conditional_constraint_if_part_2018 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_NL_IN_conditional_constraint_if_part_2020 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__20_IN_conditional_constraint_if_part_2030 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_conditional_constraint_if_part_2038 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_conditional_constraint_if_part_2041 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_conditional_constraint_if_part_2045 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_NL_IN_conditional_constraint_if_part_2047 = Set[ 1, 4 ]
-    TOKENS_FOLLOWING_T__29_IN_conditional_constraint_then_part_2063 = Set[ 7, 28, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_statement_IN_conditional_constraint_then_part_2065 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__29_IN_conditional_constraint_then_part_2074 = Set[ 20 ]
-    TOKENS_FOLLOWING_T__20_IN_conditional_constraint_then_part_2082 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_conditional_constraint_then_part_2084 = Set[ 4, 7, 21, 28, 50, 52, 53, 54, 57, 63 ]
-    TOKENS_FOLLOWING_constraint_body_IN_conditional_constraint_then_part_2087 = Set[ 21 ]
-    TOKENS_FOLLOWING_T__21_IN_conditional_constraint_then_part_2089 = Set[ 1 ]
-    TOKENS_FOLLOWING_mutation_IN_effect_body_2111 = Set[ 4 ]
-    TOKENS_FOLLOWING_mutation_iterator_IN_effect_body_2124 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_effect_body_2133 = Set[ 1, 4, 7, 50, 65 ]
-    TOKENS_FOLLOWING_T__50_IN_mutation_iterator_2148 = Set[ 7 ]
-    TOKENS_FOLLOWING_path_IN_mutation_iterator_2150 = Set[ 51 ]
+    TOKENS_FOLLOWING_quantification_keyword_IN_constraint_class_quantification_1617 = Set[ 38 ]
+    TOKENS_FOLLOWING_T__38_IN_constraint_class_quantification_1619 = Set[ 7 ]
+    TOKENS_FOLLOWING_path_IN_constraint_class_quantification_1621 = Set[ 52 ]
+    TOKENS_FOLLOWING_T__52_IN_constraint_class_quantification_1623 = Set[ 7 ]
+    TOKENS_FOLLOWING_ID_IN_constraint_class_quantification_1625 = Set[ 40 ]
+    TOKENS_FOLLOWING_T__40_IN_constraint_class_quantification_1627 = Set[ 4, 20, 56, 77, 78, 79, 80 ]
+    TOKENS_FOLLOWING_binary_comp_IN_constraint_class_quantification_1639 = Set[ 8 ]
+    TOKENS_FOLLOWING_T__56_IN_constraint_class_quantification_1652 = Set[ 8 ]
+    TOKENS_FOLLOWING_NUMBER_IN_constraint_class_quantification_1668 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1682 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_constraint_class_quantification_1685 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1687 = Set[ 4, 7, 21, 29, 51, 57, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_statement_IN_constraint_class_quantification_1694 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1704 = Set[ 4, 7, 21, 29, 51, 57, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_different_IN_constraint_class_quantification_1711 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1713 = Set[ 4, 7, 21, 29, 51, 57, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_iterator_IN_constraint_class_quantification_1720 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_constraint_class_quantification_1722 = Set[ 4, 7, 21, 29, 51, 57, 58, 64 ]
+    TOKENS_FOLLOWING_T__21_IN_constraint_class_quantification_1730 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__57_IN_constraint_different_1749 = Set[ 38 ]
+    TOKENS_FOLLOWING_T__38_IN_constraint_different_1751 = Set[ 7 ]
+    TOKENS_FOLLOWING_path_IN_constraint_different_1753 = Set[ 40 ]
+    TOKENS_FOLLOWING_T__40_IN_constraint_different_1755 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_constraint_statement_1774 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__58_IN_constraint_statement_1783 = Set[ 7 ]
+    TOKENS_FOLLOWING_reference_IN_constraint_statement_1785 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_constraint_statement_1794 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_constraint_statement_1796 = Set[ 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_value_IN_constraint_statement_1798 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_constraint_statement_1807 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_constraint_statement_1809 = Set[ 5 ]
+    TOKENS_FOLLOWING_NULL_IN_constraint_statement_1811 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_constraint_statement_1820 = Set[ 61, 62, 72 ]
+    TOKENS_FOLLOWING_not_equals_op_IN_constraint_statement_1822 = Set[ 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_value_IN_constraint_statement_1824 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_constraint_statement_1833 = Set[ 61, 62, 72 ]
+    TOKENS_FOLLOWING_not_equals_op_IN_constraint_statement_1835 = Set[ 5 ]
+    TOKENS_FOLLOWING_NULL_IN_constraint_statement_1837 = Set[ 1 ]
+    TOKENS_FOLLOWING_conditional_constraint_IN_constraint_statement_1846 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_constraint_statement_1855 = Set[ 59, 60 ]
+    TOKENS_FOLLOWING_T__59_IN_constraint_statement_1857 = Set[ 60 ]
+    TOKENS_FOLLOWING_T__60_IN_constraint_statement_1860 = Set[ 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_set_value_IN_constraint_statement_1862 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_constraint_statement_1871 = Set[ 58, 61, 62 ]
+    TOKENS_FOLLOWING_set_IN_constraint_statement_1873 = Set[ 60 ]
+    TOKENS_FOLLOWING_T__60_IN_constraint_statement_1881 = Set[ 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_set_value_IN_constraint_statement_1883 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_constraint_statement_1892 = Set[ 63 ]
+    TOKENS_FOLLOWING_T__63_IN_constraint_statement_1894 = Set[ 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_value_IN_constraint_statement_1896 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_constraint_statement_1905 = Set[ 77, 78, 79, 80 ]
+    TOKENS_FOLLOWING_binary_comp_IN_constraint_statement_1907 = Set[ 7, 8 ]
+    TOKENS_FOLLOWING_comp_value_IN_constraint_statement_1909 = Set[ 1 ]
+    TOKENS_FOLLOWING_total_constraint_IN_constraint_statement_1918 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__64_IN_total_constraint_1929 = Set[ 7 ]
+    TOKENS_FOLLOWING_total_statement_IN_total_constraint_1931 = Set[ 40 ]
+    TOKENS_FOLLOWING_T__40_IN_total_constraint_1933 = Set[ 77, 78, 79, 80 ]
+    TOKENS_FOLLOWING_binary_comp_IN_total_constraint_1935 = Set[ 8 ]
+    TOKENS_FOLLOWING_NUMBER_IN_total_constraint_1937 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_total_statement_1948 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_total_statement_1950 = Set[ 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_value_IN_total_statement_1952 = Set[ 1 ]
+    TOKENS_FOLLOWING_NUMBER_IN_comp_value_1967 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_comp_value_1976 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__29_IN_conditional_constraint_1995 = Set[ 7, 20, 29, 58, 64 ]
+    TOKENS_FOLLOWING_conditional_constraint_if_part_IN_conditional_constraint_2003 = Set[ 30 ]
+    TOKENS_FOLLOWING_conditional_constraint_then_part_IN_conditional_constraint_2007 = Set[ 1 ]
+    TOKENS_FOLLOWING_constraint_statement_IN_conditional_constraint_if_part_2022 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_NL_IN_conditional_constraint_if_part_2024 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__20_IN_conditional_constraint_if_part_2034 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_conditional_constraint_if_part_2042 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_conditional_constraint_if_part_2045 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_conditional_constraint_if_part_2049 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_NL_IN_conditional_constraint_if_part_2051 = Set[ 1, 4 ]
+    TOKENS_FOLLOWING_T__30_IN_conditional_constraint_then_part_2067 = Set[ 7, 29, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_statement_IN_conditional_constraint_then_part_2069 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__30_IN_conditional_constraint_then_part_2078 = Set[ 20 ]
+    TOKENS_FOLLOWING_T__20_IN_conditional_constraint_then_part_2086 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_conditional_constraint_then_part_2088 = Set[ 4, 7, 21, 29, 51, 53, 54, 55, 58, 64 ]
+    TOKENS_FOLLOWING_constraint_body_IN_conditional_constraint_then_part_2091 = Set[ 21 ]
+    TOKENS_FOLLOWING_T__21_IN_conditional_constraint_then_part_2093 = Set[ 1 ]
+    TOKENS_FOLLOWING_mutation_IN_effect_body_2115 = Set[ 4 ]
+    TOKENS_FOLLOWING_mutation_iterator_IN_effect_body_2128 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_effect_body_2137 = Set[ 1, 4, 7, 51, 66 ]
     TOKENS_FOLLOWING_T__51_IN_mutation_iterator_2152 = Set[ 7 ]
-    TOKENS_FOLLOWING_ID_IN_mutation_iterator_2154 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_NL_IN_mutation_iterator_2156 = Set[ 4, 20 ]
-    TOKENS_FOLLOWING_T__20_IN_mutation_iterator_2159 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_mutation_iterator_2161 = Set[ 4, 7, 21, 65 ]
-    TOKENS_FOLLOWING_mutation_IN_mutation_iterator_2171 = Set[ 4 ]
-    TOKENS_FOLLOWING_NL_IN_mutation_iterator_2179 = Set[ 4, 7, 21, 65 ]
-    TOKENS_FOLLOWING_T__21_IN_mutation_iterator_2186 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_mutation_2205 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_mutation_2207 = Set[ 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_value_IN_mutation_2209 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_mutation_2218 = Set[ 55, 58 ]
-    TOKENS_FOLLOWING_equals_op_IN_mutation_2220 = Set[ 5 ]
-    TOKENS_FOLLOWING_NULL_IN_mutation_2222 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_mutation_2231 = Set[ 72, 73, 74, 75 ]
-    TOKENS_FOLLOWING_binary_op_IN_mutation_2233 = Set[ 8 ]
-    TOKENS_FOLLOWING_NUMBER_IN_mutation_2235 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_mutation_2244 = Set[ 58 ]
-    TOKENS_FOLLOWING_T__58_IN_mutation_2246 = Set[ 64 ]
-    TOKENS_FOLLOWING_T__64_IN_mutation_2248 = Set[ 7 ]
-    TOKENS_FOLLOWING_path_IN_mutation_2250 = Set[ 1, 20 ]
-    TOKENS_FOLLOWING_object_body_IN_mutation_2258 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__65_IN_mutation_2268 = Set[ 7 ]
-    TOKENS_FOLLOWING_path_IN_mutation_2270 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_mutation_2279 = Set[ 66 ]
-    TOKENS_FOLLOWING_T__66_IN_mutation_2281 = Set[ 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_value_IN_mutation_2283 = Set[ 39 ]
-    TOKENS_FOLLOWING_T__39_IN_mutation_2285 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_mutation_2294 = Set[ 67 ]
-    TOKENS_FOLLOWING_T__67_IN_mutation_2296 = Set[ 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_value_IN_mutation_2298 = Set[ 39 ]
-    TOKENS_FOLLOWING_T__39_IN_mutation_2300 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__37_IN_set_value_2319 = Set[ 6, 7, 8, 9, 10, 37, 39 ]
-    TOKENS_FOLLOWING_set_item_IN_set_value_2328 = Set[ 38, 39 ]
-    TOKENS_FOLLOWING_T__38_IN_set_value_2331 = Set[ 4, 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_NL_IN_set_value_2333 = Set[ 4, 6, 7, 8, 9, 10, 37 ]
-    TOKENS_FOLLOWING_set_item_IN_set_value_2336 = Set[ 38, 39 ]
-    TOKENS_FOLLOWING_T__39_IN_set_value_2348 = Set[ 1 ]
-    TOKENS_FOLLOWING_value_IN_set_item_2359 = Set[ 1 ]
-    TOKENS_FOLLOWING_primitive_value_IN_value_2378 = Set[ 1 ]
-    TOKENS_FOLLOWING_reference_IN_value_2387 = Set[ 1 ]
-    TOKENS_FOLLOWING_set_value_IN_value_2396 = Set[ 1 ]
-    TOKENS_FOLLOWING_BOOLEAN_IN_primitive_value_2415 = Set[ 1 ]
-    TOKENS_FOLLOWING_NUMBER_IN_primitive_value_2424 = Set[ 1 ]
-    TOKENS_FOLLOWING_STRING_IN_primitive_value_2433 = Set[ 1 ]
-    TOKENS_FOLLOWING_MULTILINE_STRING_IN_primitive_value_2442 = Set[ 1 ]
-    TOKENS_FOLLOWING_ID_IN_path_2457 = Set[ 1, 68 ]
-    TOKENS_FOLLOWING_T__68_IN_path_2459 = Set[ 7 ]
-    TOKENS_FOLLOWING_ID_IN_path_2460 = Set[ 1, 68 ]
-    TOKENS_FOLLOWING_id_ref_IN_path_with_index_2473 = Set[ 1, 68 ]
-    TOKENS_FOLLOWING_T__68_IN_path_with_index_2475 = Set[ 7 ]
-    TOKENS_FOLLOWING_id_ref_IN_path_with_index_2476 = Set[ 1, 68 ]
-    TOKENS_FOLLOWING_ID_IN_id_ref_2489 = Set[ 1, 26 ]
-    TOKENS_FOLLOWING_T__26_IN_id_ref_2491 = Set[ 8 ]
-    TOKENS_FOLLOWING_NUMBER_IN_id_ref_2493 = Set[ 27 ]
-    TOKENS_FOLLOWING_T__27_IN_id_ref_2495 = Set[ 1 ]
-    TOKENS_FOLLOWING_path_with_index_IN_reference_2512 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__69_IN_reference_type_2531 = Set[ 7 ]
-    TOKENS_FOLLOWING_path_IN_reference_type_2533 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__41_IN_set_type_2552 = Set[ 7 ]
-    TOKENS_FOLLOWING_path_IN_set_type_2554 = Set[ 1 ]
-    TOKENS_FOLLOWING_T__70_IN_probability_op_2569 = Set[ 1 ]
+    TOKENS_FOLLOWING_path_IN_mutation_iterator_2154 = Set[ 52 ]
+    TOKENS_FOLLOWING_T__52_IN_mutation_iterator_2156 = Set[ 7 ]
+    TOKENS_FOLLOWING_ID_IN_mutation_iterator_2158 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_NL_IN_mutation_iterator_2160 = Set[ 4, 20 ]
+    TOKENS_FOLLOWING_T__20_IN_mutation_iterator_2163 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_mutation_iterator_2165 = Set[ 4, 7, 21, 66 ]
+    TOKENS_FOLLOWING_mutation_IN_mutation_iterator_2175 = Set[ 4 ]
+    TOKENS_FOLLOWING_NL_IN_mutation_iterator_2183 = Set[ 4, 7, 21, 66 ]
+    TOKENS_FOLLOWING_T__21_IN_mutation_iterator_2190 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_mutation_2209 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_mutation_2211 = Set[ 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_value_IN_mutation_2213 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_mutation_2222 = Set[ 56, 59 ]
+    TOKENS_FOLLOWING_equals_op_IN_mutation_2224 = Set[ 5 ]
+    TOKENS_FOLLOWING_NULL_IN_mutation_2226 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_mutation_2235 = Set[ 73, 74, 75, 76 ]
+    TOKENS_FOLLOWING_binary_op_IN_mutation_2237 = Set[ 8 ]
+    TOKENS_FOLLOWING_NUMBER_IN_mutation_2239 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_mutation_2248 = Set[ 59 ]
+    TOKENS_FOLLOWING_T__59_IN_mutation_2250 = Set[ 65 ]
+    TOKENS_FOLLOWING_T__65_IN_mutation_2252 = Set[ 7 ]
+    TOKENS_FOLLOWING_path_IN_mutation_2254 = Set[ 1, 20 ]
+    TOKENS_FOLLOWING_object_body_IN_mutation_2262 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__66_IN_mutation_2272 = Set[ 7 ]
+    TOKENS_FOLLOWING_path_IN_mutation_2274 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_mutation_2283 = Set[ 67 ]
+    TOKENS_FOLLOWING_T__67_IN_mutation_2285 = Set[ 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_value_IN_mutation_2287 = Set[ 40 ]
+    TOKENS_FOLLOWING_T__40_IN_mutation_2289 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_mutation_2298 = Set[ 68 ]
+    TOKENS_FOLLOWING_T__68_IN_mutation_2300 = Set[ 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_value_IN_mutation_2302 = Set[ 40 ]
+    TOKENS_FOLLOWING_T__40_IN_mutation_2304 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__38_IN_set_value_2323 = Set[ 6, 7, 8, 9, 10, 38, 40 ]
+    TOKENS_FOLLOWING_set_item_IN_set_value_2332 = Set[ 39, 40 ]
+    TOKENS_FOLLOWING_T__39_IN_set_value_2335 = Set[ 4, 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_NL_IN_set_value_2337 = Set[ 4, 6, 7, 8, 9, 10, 38 ]
+    TOKENS_FOLLOWING_set_item_IN_set_value_2340 = Set[ 39, 40 ]
+    TOKENS_FOLLOWING_T__40_IN_set_value_2352 = Set[ 1 ]
+    TOKENS_FOLLOWING_value_IN_set_item_2363 = Set[ 1 ]
+    TOKENS_FOLLOWING_primitive_value_IN_value_2382 = Set[ 1 ]
+    TOKENS_FOLLOWING_reference_IN_value_2391 = Set[ 1 ]
+    TOKENS_FOLLOWING_set_value_IN_value_2400 = Set[ 1 ]
+    TOKENS_FOLLOWING_BOOLEAN_IN_primitive_value_2419 = Set[ 1 ]
+    TOKENS_FOLLOWING_NUMBER_IN_primitive_value_2428 = Set[ 1 ]
+    TOKENS_FOLLOWING_STRING_IN_primitive_value_2437 = Set[ 1 ]
+    TOKENS_FOLLOWING_MULTILINE_STRING_IN_primitive_value_2446 = Set[ 1 ]
+    TOKENS_FOLLOWING_ID_IN_path_2461 = Set[ 1, 69 ]
+    TOKENS_FOLLOWING_T__69_IN_path_2463 = Set[ 7 ]
+    TOKENS_FOLLOWING_ID_IN_path_2464 = Set[ 1, 69 ]
+    TOKENS_FOLLOWING_id_ref_IN_path_with_index_2477 = Set[ 1, 69 ]
+    TOKENS_FOLLOWING_T__69_IN_path_with_index_2479 = Set[ 7 ]
+    TOKENS_FOLLOWING_id_ref_IN_path_with_index_2480 = Set[ 1, 69 ]
+    TOKENS_FOLLOWING_ID_IN_id_ref_2493 = Set[ 1, 27 ]
+    TOKENS_FOLLOWING_T__27_IN_id_ref_2495 = Set[ 8 ]
+    TOKENS_FOLLOWING_NUMBER_IN_id_ref_2497 = Set[ 28 ]
+    TOKENS_FOLLOWING_T__28_IN_id_ref_2499 = Set[ 1 ]
+    TOKENS_FOLLOWING_path_with_index_IN_reference_2516 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__70_IN_reference_type_2535 = Set[ 7 ]
+    TOKENS_FOLLOWING_path_IN_reference_type_2537 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__42_IN_set_type_2556 = Set[ 7 ]
+    TOKENS_FOLLOWING_path_IN_set_type_2558 = Set[ 1 ]
+    TOKENS_FOLLOWING_T__71_IN_probability_op_2573 = Set[ 1 ]
     TOKENS_FOLLOWING_set_IN_equals_op_0 = Set[ 1 ]
     TOKENS_FOLLOWING_set_IN_not_equals_op_0 = Set[ 1 ]
     TOKENS_FOLLOWING_set_IN_binary_op_0 = Set[ 1 ]