let build_bhv_assumes b =
  let assumes = List.map Logic_const.pred_of_id_pred b.b_assumes in
  let assumes = Logic_const.pands assumes in
    assumes