anchor.diff:  //be careful with this one, since it 
   //matches "()", which can also be an 
   //argument list
  -formalParameterStart
  -    : '(' ( userAnnotation* ( langAnnotation | formalParameterType LIDENTIFIER ) | ')' )
  +formalParametersStart
  +    : '(' ( annotatedDeclarationStart | ')' )
       ;
       
   // FIXME: This accepts more than the language spec: named arguments
  
positive.code: //instances have to be listed together at the top
  //of the class body
  declarationOrStatement
      : (declarationStart) => declaration | statement
      ;
  
  //TODO: I don't understand why we need to distinguish
  
negative.code: 
  equalityExpression
      : comparisonExpression
        (('=='^|'!='^|'==='^) comparisonExpression)?
      ;
  
  comparisonExpression
  