let get_fct_assigns config a_fun spec =
  let ki = Kglobal in
  match get_behav config ki spec.spec_behavior with
    | None -> empty_acc
    | Some b -> add_bhv_assigns config Agoal ki empty_acc a_fun b