let mk_conjunction_named = Logic_const.pands