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