let post pp fmt (a, op) =
  match !flag with
    | Sexpr -> sexpr1 pp fmt (op, a)
    | _ -> fprintf fmt "";  pp fmt a; fprintf fmt " %s" op; fprintf fmt ""