let get_ext_fct_assigns spec =
  let _, assigns = get_spec_assigns Kglobal spec in
    Wp_parameters.debug ~level:3 "take called assigns : %a" Wp_error.pp_assigns assigns;
    assigns