anchor.diff:      ;
   
   memberType
  -    : type | 'void'
  +    : type | 'void' | 'local'
       ;
   
   memberParameters
  
positive.code:     ;
  
  variable
      : type/*?*/ memberName
      ;
  
  //special rule for syntactic predicate
  
negative.code:     ;
  
  specialArgument
      : (type|'local') memberName (containment|specifier)
      //| isCondition
      //| existsCondition
      ;
  