let get_ext_fct_assigns spec = 
  List.fold_left add_bhv_fct_assigns [] spec.spec_behavior