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