anchor.diff:      :   FINALIZATION
           (affectsClause)*
           (facilityDecl)*
  -        (variableDeclGroup)*
  -        (auxVariableDeclGroup)*
  +        (variableDecl)*
  +        (auxVariableDecl)*
           (stmt)*
           END SEMICOLON
       ;
  
positive.code:         (requiresClause)?
          (ensuresClause)?
          PROCEDURE
          (variableDeclGroup)*
          (stmt)*
          END closename=IDENTIFIER SEMICOLON
      ;
  
negative.code:     :   INITIALIZATION
          (affectsClause)*
          (facilityDecl)*
          (variableDecl)*
          (auxVariableDecl)*
          (stmt)*
          END SEMICOLON
      ;
  