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