let mk_stmt_assigns_desc s assigns = {
  a_label =  Clabels.mk_logic_label s ;
  (* a_fun = Assigns_Stmt ; *)
  a_kind = StmtAssigns ;
  a_assigns = Writes assigns ;
}