let mk_conjunction pred_l =
  (Logic_const.pands (List.map unamed pred_l)).content