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