anchor.diff:  
   options {
     language = Java;
  +  k=1;  
  +}
  +
  +tokens {
  +    QName; 
  +    FOR;
   }
   
   // XPath 2.0
  
positive.code:   ;
  //[4]
  ForExpr
    : SimpleForClause 'return' ExprSingle
    ;
  //[5]
  SimpleForClause
    : 'for' '$' VarName 'in' ExprSingle (',' '$' VarName 'in' ExprSingle)*
    ;
  //[6]
  QuantifiedExpr
    : ('some' | 'every') '$' VarName 'in' ExprSingle (',' '$' VarName 'in' ExprSingle)* 'satisfies' ExprSingle
    ;
  //[7]
  IfExpr
    : 'if' '(' Expr ')' 'then' ExprSingle 'else' ExprSingle
    ;
  //[8]
  OrExpr
    : AndExpr ( 'or' AndExpr )*
    ;
  //[9]
  AndExpr
    : ComparisonExpr ( 'and' ComparisonExpr )*
    ;
  //[10]
  ComparisonExpr
  
negative.code:   ;
  //[55]
  AnyKindTest
    : NODE '(' ')'
    ;
  //[56]
  DocumentTest
    : DOCUMENT_NODE '(' (ElementTest | SchemaElementTest)? ')'
    ;
  //[57]
  TextTest
    : TEXT '(' ')'
    ;
  //[58]
  CommentTest
    : COMMENT '(' ')'
    ;
  //[59]
  PITest
    : PROCESSING_INSTRUCTION '(' (NCName | StringLiteral)? ')'
    ;
  //[60]
  AttributeTest
    : ATTRIBUTE '(' (AttribNameOrWildcard (',' TypeName)?)? ')'
    ;
  //[61]
  AttribNameOrWildcard
  