let add_bhv_fct_assigns acc b = let labels = NormAtLabels.labels_fct_assigns in List.fold_left (add_assigns "function assigns" labels) acc b.b_assigns