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