anchor.diff:      rule param_list:
           LPAREN [ assign_rvalue (COMMA assign_rvalue)* ] RPAREN
   
  -##########
  -########## Statements
  -##########
  +############################################################################
  +############################# Statements ###################################
  +############################################################################
   
       rule declared_item:
           term<<[]>> [ assign_opvalue ]
   
       rule variable_declaration_or_call:
  -        ( Type_item declared_item ( COMMA declared_item )*
  +        ( builtin_type declared_item ( COMMA declared_item )*
           | expr<<[]>> [   ( declared_item ( COMMA declared_item )*
                            | assign_opvalue
                            )
  
positive.code: 
      rule for_decl_item:
          # datatype might not be present
          Type_nitem [ VAR ] assign_opvalue
  
      rule for_variable_assignment:
          term<<[]>> assign_opvalue
  
negative.code:     rule statement_list:
          ( single_statement)*
  
  ############################################################################
  ############################# Declarations #################################
  ############################################################################
  
      rule method_declaration:
          TOKMETHOD 
          type_decl [ VAR ] [ formal_list ]
          #( builtin_type VAR [ formal_list ]
          #| VAR [ VAR ] [ formal_list [ VAR ] ]
          #)
          ( ( TOKIF | TOKCLOCKED_BY | TOKRESET_BY | TOKENABLE | TOKREADY) paren_expression )*
          [ equal_value ]
          [ provisos_clause ] SEMICOLON
  