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