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