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