let prop_mk_ite = Prop.mk_ite