anchor.diff:  
   and p_tmEq' curr e = match e.tm with
       (* We don't have any information to print `infix` aplication *)
  -  | Op (op, [ e1; e2]) when is_operatorInfix0ad12 op || Ident.text_of_id op = "=" || Ident.text_of_id op = "|>" ->
  +  | Op (op, [ e1; e2 ]) when is_operatorInfix0ad12 op || Ident.text_of_id op = "=" || Ident.text_of_id op = "|>" ->
         let op = Ident.text_of_id op in
         let left, mine, right = levels op in
         paren_if_gt curr mine (infix0 (str <| op) (p_tmEq' left e1) (p_tmEq' right e2))
  
positive.code:                                       (String.concat "," (List.map token_to_string (snd level))))
    in List.fold_left find_level_and_max 0 l
  
  let levels = assign_levels level_associativity_spec
  
  let operatorInfix0ad12 = [opinfix0a ; opinfix0b ; opinfix0c ; opinfix0d ; opinfix1 ; opinfix2 ]
  
  
negative.code:   let levels_from_associativity (l:int) = function
      | Left -> l, l, l-1
      | Right -> l-1, l, l
      | NonAssoc -> l - 1, l, l - 1
    in
    List.mapi (fun i (assoc, tokens) -> (levels_from_associativity i assoc, tokens)) level_associativity_spec
  
  