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 ;
}