anchor.diff:      ;
   
   specialArgument
  -    : (type|'local') memberName (containment|specifier)
  +    : (type | 'local') memberName (containment | specifier)
       //| isCondition
       //| existsCondition
       ;
  
positive.code:     ;
  
  typeParameter
      : ordinaryTypeParameter | '#'! dimensionalTypeParameter
      ;
  
  ordinaryTypeParameter
      : variance? typeName '...'?
      -> ^(TYPE_PARAMETER ^(TYPE_VARIANCE variance)? typeName)
      ;
  
  
negative.code:     ;
  
  controlVariableOrExpression
      : (declarationStart) => variable specifier 
      | expression
      ;
  
  variable
      : (type | 'local') memberName
      ;
  
  // Lexer
  