anchor.diff:    (* If t is atomic, don't put a space between t and phi
      * If t can be displayed on a single line, tightly surround it with braces,
      * otherwise pad with a space. *)
  -  optional p_aqual aqual_opt ^^ binder ^^ colon ^/^
  -    p_appTerm t ^^ (if is_t_atomic then empty else break1) ^^
  -      group ((ifflat
  -        (soft_braces_with_nesting_tight phi) (soft_braces_with_nesting phi)))
  +  let jump_break = if is_t_atomic then 0 else 1 in
  +  (optional p_aqual aqual_opt ^^ binder ^^ colon) ^/^
  +    (p_appTerm t ^^
  +      (jump 2 jump_break (group ((ifflat
  +        (soft_braces_with_nesting_tight phi) (soft_braces_with_nesting phi))))))
   
   
   (* TODO : we may prefer to flow if there are more than 15 binders *)
  
positive.code: and p_attrs_opt = function
    | None -> empty
    | Some terms ->
      group (str "[@" ^/^ (separate_map break1 p_atomicTerm terms) ^/^ str "]") ^^ break1
  
  and p_typ ps pb e = with_comment (p_typ' ps pb) e e.range
  
  
negative.code: and p_qualifiers qs =
    match qs with
    | [] -> empty
    | _ -> flow break1 (List.map p_qualifier qs) ^^ hardline
  
  (* Skipping focus since it cannot be recoverred at printing *)
  
  