let add_prop_stmt_bhv_requires acc kind kf s bhv ~with_assumes =
let assumes =
if with_assumes then Some (Ast_info.behavior_assumes bhv) else None
in let add acc pre =
add_prop_stmt_pre acc kind kf s bhv ~assumes pre
in List.fold_left add acc bhv.b_requires