anchor.diff:      ;
   
   typeConstraint
  -    : 'given' typeName formalParameters? caseTypes? metatypes? satisfiedTypes? abstractedType?
  +    : 'given' typeName typeArguments? formalParameters? caseTypes? metatypes? satisfiedTypes? abstractedType?
       -> ^(TYPE_CONSTRAINT typeName formalParameters? satisfiedTypes? abstractedType?)
       ;
       
  
positive.code:     -> ^(IS_EXPR type memberName? specifier? expression?)
      ;
  
  controlStructure
      : ifElse | switchCaseElse | simpleWhile | doWhile | forFail | tryCatchFinally
      ;
  
negative.code: // Control structures.
  
  condition
      : expression 
      | existsCondition 
      | nonemptyCondition 
      | isCondition 
      | satisfiesCondition
      ;
  
  existsCondition
  