let add_prop_fct_bhv_pre acc kind kf bhv ~impl_assumes =
  let assumes = 
    if impl_assumes then Some (Ast_info.behavior_assumes bhv) else None
  in 
  let add acc p = add_prop_fct_pre acc kind kf bhv ~assumes p in
  let acc = List.fold_left add acc bhv.b_requires in
    if impl_assumes then acc
    else List.fold_left add acc bhv.b_assumes