let mk_disjunction pred_l =
  (Logic_const.pors (List.map unamed pred_l)).content