anchor.diff:  
   annotatedDeclarationOrStatement
       : controlStructure
  -    | (specificationStart) => specificationStatement
  +    | (specificationStart) => specificationStatement //note: the syntactic predicate here is not really necessary, we could move this alt down into the final alt
       | (annotatedDeclarationStart) => annotatedDeclaration
       | expressionStatement
       ;
  
positive.code:     ;
  
  variable
      : variableType memberName formalParameters*
      ;
  
  variableType
      : type | 'local'
      ;
  
  // Lexer
  
negative.code: blockDeclarationsAndStatements
      : controlStructure blockDeclarationsAndStatements?
      | directiveStatement
      | (specificationStart) => specificationStatement blockDeclarationsAndStatements? //note: the syntactic predicate here is not really necessary, we could move this alt down into the final alt
      | (annotatedDeclarationStart) => annotatedDeclaration blockDeclarationsAndStatements?
      | expression 
      (
  