anchor.diff:      ;
   
   forIterator
  -    : formalParameter 'in' expression
  +    : formalParameter containment
  +    ;
  +    
  +containment
  +    : 'in' expression
       ;
       
   doWhile
  
positive.code: memberDeclaration
      : voidMethod | methodOrGetter | setter
      ;
      
  methodOrGetter
      : type memberName ( (typeParameterStart | formalParameterStart) => methodDefinition | attributeDefinition )
      ;
  
negative.code:     ;
  
  methodExpression
      : implicationExpression 
        (methodOrParameterName specialFunctor | 'case' '(' expression ')' specialFunctor)*
      ;
  
  methodOrParameterName
  