anchor.diff:    | PRAGMA_PUSH_OPTIONS
     | PRAGMA_POP_OPTIONS
     | PRAGMALIGHT
  +  | POLYMONADIC_SUBCOMP
     | POLYMONADIC_BIND
     | PIPE_RIGHT
     | PERCENT_LBRACK
  
positive.code:   | ASSERT
    | AND
    | AMP
    | ABSTRACT
  type tokenId = 
      | TOKEN_WITH
      | TOKEN_WHEN
  
negative.code:     | TOKEN_ASSERT
      | TOKEN_AND
      | TOKEN_AMP
      | TOKEN_end_of_input
      | TOKEN_error
  type nonTerminalId = 
  