let pp_assign fmt asgn =
  Format.fprintf fmt "%a"  (Cil.defaultCilPrinter#pAssigns "") asgn