let add_spec_assigns_as_hyp config ki acc spec =
let l, a_assigns = get_spec_assigns ki spec in
add_assigns config Ahyp ki None a_assigns acc {
a_label = l ;
a_fun = Assigns_Stmt ;
a_kind = StmtAssigns ;
a_assigns = a_assigns ;
}