anchor.diff:    | _ ->
         group (p_noSeqTermAndComment ps pb e)
   
  -and p_term_sep (ps:bool) (pb:bool) (e:term) flag = match e.tm with
  +and p_term_sep (ps:bool) (pb:bool) (e:term) = match e.tm with
     | Seq (e1, e2) ->
         (* Don't swallow semicolons on the left-hand side of a semicolon! Note:
          * the `false` for pb is kind of useless because there is no construct
  
positive.code: 
  and p_letbinding kw (pat, e) =
    let doc_pat = p_letlhs kw (pat, e) in
    let comm, doc_expr = p_term_sep false false e "$5" in
    let doc_expr = inline_comment_or_above comm doc_expr empty in
    ifflat (doc_pat ^/^ equals ^/^ doc_expr) (doc_pat ^^ space ^^ group (equals ^^ jump2 doc_expr))
  
  
negative.code: 
  and p_simpleTerm ps pb e = match e.tm with
      | Abs(pats, e) ->
          let comm, doc = p_term_sep false pb e in //OK
          let doc =
            paren_if ps (
              (str "fun" ^/+^ separate_map break1 p_atomicPattern pats ^/^ rarrow) ^/+^ doc)
          in
          inline_comment_or_above comm doc empty
      | _ -> p_tmIff e
  
  and p_maybeFocusArrow b =
  