let get_fct_assigns asked_bh spec = 
  match get_behav asked_bh spec.spec_behavior with
    | None -> []
    | Some b -> add_bhv_fct_assigns [] b