class_declaration: notes? class_header formal_generics?
      formal_arguments? // NEW
      obsolete?
      inheritance?
      creators?
      converters?
      features?
      notes?
      invariant?
      notes?
   'end' EOF
   ;

creation_instruction:
     'create' create_passive_region? explicit_creation_type? creation_call  // Eiffel create instruction
   | 'create' actuals '.' creation_call                                     // EDEiffel create instruction
   ;

creation_expression:
     'create' explicit_creation_type explicit_creation_call?                // Eiffel create expression
   | 'create' explicit_creation_type? actuals explicit_creation_call?       // EDEiffel create expression
   ;

expression:
     ...
   | '&' Identifier     // NEW (position of Identifier in dispatch tuple)
   | ...
   ;

// Note: & is C inspired (sorry about that!)