let add_assigns_any acc kind asgn =
  let take () = debug "take %a" (WpPropId.pp_assign_info "") asgn; asgn in 
    match kind with
      | Ahyp ->  {acc with info = { acc.info with a_hyp = take ()}}
      | AcallHyp -> {acc with info = { acc.info with a_call = take ()}}
      | _ -> Wp_parameters.fatal "Assigns Any prop can only be Hyp"