let pp_assigns fmt asgns =
  match asgns with
      WritesAny -> Format.fprintf fmt "<undef>"
    | _ ->
      Format.fprintf fmt "@[<hov 2>%a@]"
        (Cil.defaultCilPrinter#pAssigns "") asgns