anchor.diff:  //      style parameters below?
   methodDefinition
       : memberBody | specifier? ';'!
  +    ;
  +
  +voidMethodDefinition
  +    : block | specifier? ';'!
       ;
   
   attributeDefinition
  
positive.code: 
  annotatedDeclarationOrStatement
      : controlStructure
      | (specificationStart) => specificationStatement
      | (annotatedDeclarationStart) => annotatedDeclaration
      | expressionStatement
      ;
  
negative.code: //Support "T x in arg" in positional argument lists
  //Note that we don't need to support this yet
  specialArgument
      : inferrableType memberName (containment | specifier)
      -> ^(SPECIAL_ARG inferrableType memberName containment? specifier?)
      //| isCondition
      //| existsCondition
      ;
  