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"