let mk_loop_assigns_desc s assigns = {
  a_label = Clabels.mk_logic_label s ;
  (* a_fun = Assigns_Loop ; *)
  a_kind = LoopAssigns ;
  a_assigns = Writes assigns
}