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