let mk_stmt_any_assigns_info s = let a = { a_label = Clabels.mk_logic_label s; (* a_fun = Assigns_Stmt; *) a_kind = StmtAssigns; a_assigns = WritesAny } in AssignsAny a