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