let add_loop_assigns config kind s assigns acc =
  let labels = NormAtLabels.labels_loop_assigns s in
  add_assigns config kind (Kstmt s) None assigns acc
    {
      a_label = Cil2cfg.mk_logic_label s ;
      a_fun = Assigns_Loop ;
      a_kind = LoopAssigns ;
      a_assigns = merge_assigns labels assigns ;
    }