anchor.diff:      ;
   
   compound_trigger_block
  -    : COMPOUND TRIGGER declare_spec* timing_point_section+ END trigger_name
  +    : COMPOUND TRIGGER seq_of_declare_specs? timing_point_section+ END trigger_name
       ;
   
   timing_point_section
  
positive.code: 
  proc_decl_in_type
      : PROCEDURE procedure_name '(' type_elements_parameter (',' type_elements_parameter)* ')'
        (IS | AS) (call_spec | DECLARE? declare_spec* body ';')
      ;
  
  func_decl_in_type
      : FUNCTION function_name ('(' type_elements_parameter (',' type_elements_parameter)* ')')?
        RETURN type_spec (IS | AS) (call_spec | DECLARE? declare_spec* body ';')
      ;
  
  constructor_declaration
      : FINAL? INSTANTIABLE? CONSTRUCTOR FUNCTION type_spec
        ('(' (SELF IN OUT type_spec ',') type_elements_parameter (',' type_elements_parameter)*  ')')?
        RETURN SELF AS RESULT (IS | AS) (call_spec | DECLARE? declare_spec* body ';')
      ;
  
  // Common Type Clauses
  
negative.code:     ;
  
  // Elements Declarations
  
  seq_of_declare_specs
      : declare_spec+
      ;
  
  declare_spec
      : variable_declaration
  