anchor.diff:      | _ -> true
       in
       (* If t is atomic, don't put a space between t and phi *)
  -    optional p_aqual aqual_opt ^^ binder ^^ colon ^^ break1 ^^
  +    optional p_aqual aqual_opt ^^ binder ^^ colon ^/^
         p_appTerm t ^^ (if is_t_atomic then empty else break1) ^^
           soft_braces_with_nesting_tight (p_noSeqTerm false false phi)
   
  
positive.code:        (* group the last pattern with the branch so, if possible, they are kept on the same line in case of the disjunctive
            pattern group being broken *)
         let last_pat_branch = one_pattern_branch hd in
         group (bar ^^ space ^^ (separate_map (break1 ^^ bar ^^ space) p_tuplePattern (List.rev tl)) ^^ break1 ^^ last_pat_branch)
       | [] -> failwith "Impossible: disjunctive pattern can't be empty")
    | _ ->
      one_pattern_branch pat
  
negative.code: 
  let infix2 = infix 2 1
  let infix0 = infix 0 1
  let infix0_group s l r = group (l ^^ space ^^ s ^^ space ^^ r)
  
  let break1 =
    break_ 1
  