let pp_assigns fmt asgns =
  Format.fprintf fmt "@[<hov 2>%a@]" (Pretty_utils.pp_list pp_assign) asgns